Proof-theoretic harmony and the levels of rules: Generalised non-flattening results
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Second Pisa Colloquium in Logic, Language and Epistemology. Ed. by Enrico Moriconi and Laura Tesconi. Pisa: Edizioni ETS 2014, pp. 245-287
- Keyword
-
Beweistheorie ; Logische Partikel ; Kalkül des natürlichen Schließens
- Event
-
Veröffentlichung
- (where)
-
Tübingen
- (who)
-
Universitätsbibliothek Tübingen
- (when)
-
2022
- Creator
- URN
-
urn:nbn:de:bsz:21-dspace-1309499
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:24 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
- Olkhovikov, Grigory
- Schroeder-Heister, Peter
- Universitätsbibliothek Tübingen
Time of origin
- 2022
Other Objects (12)
Proof-theoretic harmony: towards an intensional account
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Generalised Random Categorisation Rules
Proof-Theoretic Semantics : Some Basic Ideas
Two proof-theoretic remarks on EA + ECT
Peter Schroeder-Heister on Proof-Theoretic Semantics
Strategy-Proof Allotment Rules
Proof-theoretic harmony: towards an intensional account
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Generalised Random Categorisation Rules
Proof-Theoretic Semantics : Some Basic Ideas
Two proof-theoretic remarks on EA + ECT
Peter Schroeder-Heister on Proof-Theoretic Semantics
Strategy-Proof Allotment Rules
Proof-theoretic harmony: towards an intensional account
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Proof-theoretic versus Model-theoretic Consequence
Categorical Proof-theoretic Semantics
Generalised Random Categorisation Rules
Proof-Theoretic Semantics : Some Basic Ideas
Two proof-theoretic remarks on EA + ECT
Peter Schroeder-Heister on Proof-Theoretic Semantics