Intermediate Logics in the Setting of Team Semantics
| Authors |
|
|---|---|
| Publication date | 2024 |
| Host editors |
|
| Book title | Dick de Jongh on Intuitionistic and Provability Logics |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Outstanding Contributions to Logic |
| Pages (from-to) | 231-271 |
| Number of pages | 41 |
| Publisher | Cham: Springer |
| Organisations |
|
| Abstract | Several authors have recently defined intuitionistic logic based on team semantics (tICP). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tICP 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. |
| Document type | Chapter |
| Language | English |
| Published at | https://doi.org/10.1007/978-3-031-47921-2_9 |
| Downloads |
978-3-031-47921-2_9
(Final published version)
|
| Permalink to this page | |