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.
| Original language | English |
|---|---|
| Title of host publication | Dick de Jongh on Intuitionistic and Provability Logics |
| Publisher | Springer |
| Pages | 231-271 |
| Number of pages | 41 |
| ISBN (Electronic) | 978-3-031-47921-2 |
| ISBN (Print) | 978-3-031-47920-5 |
| DOIs | |
| Publication status | Published - 26 Jul 2024 |
Publication series
| Name | Outstanding Contributions to Logic |
|---|---|
| Volume | 28 |
| ISSN (Print) | 2211-2758 |
| ISSN (Electronic) | 2211-2766 |
Bibliographical note
Publisher Copyright:© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
Funding
The authors are thankful to the referee for useful comments. They would also like to thank Davide Quadrellaro for interesting discussion related to the topic of this paper. The second author was supported by grant 330525 of the Academy of Finland, and Research Funds of the University of Helsinki.
| Funders |
|---|
| Research Council of Finland |
| Helsingin Yliopisto |
Keywords
- de Jongh formulas
- Intermediate logics
- Intuitionistic logic
- Team semantics