Monografie
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
- Sprache
-
Englisch
- Identifier
-
1307493920
Thema
Automatisches Beweisverfahren; Mathematische Logik; Beweistheorie; Semantik; Logik; Logische Operation; Bedeutung
Beteiligte Personen und Organisationen
Ayhan, Sara
Wansing, Heinrich
Restall, Greg
Fakultät für Philosophie und Erziehungswissenschaft
Wansing, Heinrich
Restall, Greg
Fakultät für Philosophie und Erziehungswissenschaft
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
07.12.2023, 15:21 MEZ
Objekttyp
- Monografie
Beteiligte
- Ayhan, Sara
- Wansing, Heinrich
- Restall, Greg
- Fakultät für Philosophie und Erziehungswissenschaft
Ähnliche Objekte (12)
Topics in the proof theory of non-classical logics : philosophy and applications
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
Inference Rules and the Meaning of the Logical Constants
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Proofs, programs and executable specifications in higher order logic
Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Topics in logical anti-exceptionalism and paraconsistent logics
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Topics in the proof theory of non-classical logics : philosophy and applications
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
Inference Rules and the Meaning of the Logical Constants
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Proofs, programs and executable specifications in higher order logic
Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Topics in logical anti-exceptionalism and paraconsistent logics
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Topics in the proof theory of non-classical logics : philosophy and applications
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
Inference Rules and the Meaning of the Logical Constants
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Proofs, programs and executable specifications in higher order logic
Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Topics in logical anti-exceptionalism and paraconsistent logics
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen