- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9781848902435
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications 2017, pp. 185-200
- Keyword
-
Logik ; Beweistheorie ; Definition
- Event
-
Veröffentlichung
- (where)
-
Tübingen
- (who)
-
Universitätsbibliothek Tübingen
- (when)
-
2017
- Creator
- URN
-
urn:nbn:de:bsz:21-dspace-1294660
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.04.2025, 7:30 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
- Piecha, Thomas
- Schroeder-Heister, Peter
- Universitätsbibliothek Tübingen
Time of origin
- 2017
Other Objects (12)
Proof-Theoretic Semantics
Categorical Proof-theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
On synonymy in proof-theoretic semantics : The case of 2Int
Plural semantics for natural language understanding : a computational proof-theoretic approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
A Finite-Model-Theoretic View on Propositional Proof Complexity
Proof-Theoretic Semantics
Categorical Proof-theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
On synonymy in proof-theoretic semantics : The case of 2Int
Plural semantics for natural language understanding : a computational proof-theoretic approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
A Finite-Model-Theoretic View on Propositional Proof Complexity
Proof-Theoretic Semantics
Categorical Proof-theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Harmony and Paradox : Intensional Aspects of Proof-Theoretic Semantics
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
On synonymy in proof-theoretic semantics : The case of 2Int
Plural semantics for natural language understanding : a computational proof-theoretic approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition