- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0433
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach ; day:20 ; month:11 ; year:2021 ; pages:1-36
Journal of philosophical logic ; (20.11.2021), 1-36
- Creator
-
Cobreros, Pablo
La Rosa, Elio
Tranchini, Luca
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10992-021-09639-z
- URN
-
urn:nbn:de:101:1-2022012918543322619793
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Cobreros, Pablo
- La Rosa, Elio
- Tranchini, Luca
- SpringerLink (Online service)
Other Objects (12)
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Metainferential Reasoning on Strong Kleene Models
Proof-Theoretic Semantics : Some Basic Ideas
On All Strong Kleene Generalizations of Classical Logic
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Two proof-theoretic remarks on EA + ECT
Proof-theoretic harmony: towards an intensional account
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
A Mechanization of Strong Kleene Logic for Partial Functions
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Metainferential Reasoning on Strong Kleene Models
Proof-Theoretic Semantics : Some Basic Ideas
On All Strong Kleene Generalizations of Classical Logic
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Two proof-theoretic remarks on EA + ECT
Proof-theoretic harmony: towards an intensional account
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
A Mechanization of Strong Kleene Logic for Partial Functions
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Metainferential Reasoning on Strong Kleene Models
Proof-Theoretic Semantics : Some Basic Ideas
On All Strong Kleene Generalizations of Classical Logic
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Two proof-theoretic remarks on EA + ECT
Proof-theoretic harmony: towards an intensional account
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules