Monografie
Topics in the proof theory of non-classical logics : philosophy and applications
- Sprache
-
Englisch
- Identifier
-
1306668891
Thema
Mathematische Logik; Automatisches Beweisverfahren; Aussagenlogik; Logik; Philosophie der Logik; Beweistheorie; Nichtklassische Logik; Erkenntnistheorie
Beteiligte Personen und Organisationen
De Martin Polo, Fabio
Wansing, Heinrich
Omori, Hitoshi
Fakultät für Philosophie und Erziehungswissenschaft
Wansing, Heinrich
Omori, Hitoshi
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
- De Martin Polo, Fabio
- Wansing, Heinrich
- Omori, Hitoshi
- Fakultät für Philosophie und Erziehungswissenschaft
Ähnliche Objekte (12)
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Topics in logical anti-exceptionalism and paraconsistent logics
Rethinking inconsistent mathematics
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
New perspectives on some non-classical logical systems
Folgerung
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Linear logic and noncommutativity in the calculus of structures
Logik, Semantik, Hermeneutik
Begründungsrationalität und Logik
Proof-Theoretic Semantics
Einführung in die formale Logik : e. Orientierung über d. Lehre von d. Folgerichtigkeit, ihre Geschichte, Strukturen u. Anwendungen
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Topics in logical anti-exceptionalism and paraconsistent logics
Rethinking inconsistent mathematics
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
New perspectives on some non-classical logical systems
Folgerung
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Linear logic and noncommutativity in the calculus of structures
Logik, Semantik, Hermeneutik
Begründungsrationalität und Logik
Proof-Theoretic Semantics
Einführung in die formale Logik : e. Orientierung über d. Lehre von d. Folgerichtigkeit, ihre Geschichte, Strukturen u. Anwendungen
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Topics in logical anti-exceptionalism and paraconsistent logics
Rethinking inconsistent mathematics
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory
New perspectives on some non-classical logical systems
Folgerung
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Linear logic and noncommutativity in the calculus of structures
Logik, Semantik, Hermeneutik
Begründungsrationalität und Logik
Proof-Theoretic Semantics