- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Bulletin of the Section of Logic, 52, 2, S. 187-237
- Event
-
Veröffentlichung
- (where)
-
Bochum
- (who)
-
Ruhr-Universität Bochum
- (when)
-
2023
- Creator
-
Ayhan, Sara
Wansing, Heinrich
- URN
-
urn:nbn:de:hbz:294-125508
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 PM CET
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
- Ayhan, Sara
- Wansing, Heinrich
- Ruhr-Universität Bochum
Time of origin
- 2023
Other Objects (12)
Proof-Theoretic Semantics
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
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
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Plural semantics for natural language understanding : a computational proof-theoretic approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Proof-theoretic versus Model-theoretic Consequence
Sequent Calculi and Bidirectional Natural Deduction : On the Proper Basis of Proof-theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
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
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Plural semantics for natural language understanding : a computational proof-theoretic approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Proof-theoretic versus Model-theoretic Consequence
Sequent Calculi and Bidirectional Natural Deduction : On the Proper Basis of Proof-theoretic Semantics
Proof-theoretic Validity Based on Elimination Rules
Proof-Theoretic Semantics
Peter Schroeder-Heister on Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
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
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Plural semantics for natural language understanding : a computational proof-theoretic approach
Definitional Reasoning in Proof-Theoretic Semantics and the Square of Opposition
Proof-theoretic versus Model-theoretic Consequence
Sequent Calculi and Bidirectional Natural Deduction : On the Proper Basis of Proof-theoretic Semantics