- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Bochum, Ruhr-Universität Bochum, Dissertation, 2023
- Klassifikation
-
Philosophie
- Schlagwort
-
Beweistheorie
Automatisches Beweisverfahren
Mathematische Logik
Logik
Beweistheorie
Semantik
Logik
Logische Operation
Bedeutung
- Ereignis
-
Veröffentlichung
- (wo)
-
Bochum
- (wer)
-
Ruhr-Universität Bochum
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:hbz:294-92815
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:02 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Ayhan, Sara
- Wansing, Heinrich
- Restall, Greg
- Fakultät für Philosophie und Erziehungswissenschaft
- Ruhr-Universität Bochum
Entstanden
- 2023
Ähnliche Objekte (12)
What is the Meaning of Proofs? : A Fregean Distinction in Proof-Theoretic Semantics
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
On synonymy in proof-theoretic semantics : The case of 2Int
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
What is the Meaning of Proofs? : A Fregean Distinction in Proof-Theoretic Semantics
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
On synonymy in proof-theoretic semantics : The case of 2Int
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
What is the Meaning of Proofs? : A Fregean Distinction in Proof-Theoretic Semantics
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
On synonymy in proof-theoretic semantics : The case of 2Int
The Definitional View of Atomic Systems in Proof-Theoretic Semantics
Plural semantics for natural language understanding : a computational proof-theoretic approach