Intermediate Logics in the Setting of Team Semantics
Publication date
2024-07-26
Authors
Bezhanishvili, Nick
Yang, F.
Editors
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
taverne
Abstract
Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one. We prove a characterization theorem in the first approach and we introduce a generalized team semantics in the second one.
Keywords
de Jongh formulas, Intermediate logics, Intuitionistic logic, Team semantics, Taverne, Logic
Citation
Bezhanishvili, N & Yang, F 2024, Intermediate Logics in the Setting of Team Semantics. in Dick de Jongh on Intuitionistic and Provability Logics. Outstanding Contributions to Logic, vol. 28, Springer, pp. 231-271. https://doi.org/10.1007/978-3-031-47921-2_9