Monografie
Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017
- Sprache
-
Englisch
- Identifier
-
1165578921
Thema
Logik ; Wissenschaftstheorie ; Informatik ; Recht ; Musik ; Beweis ; Beweistheorie ; Deduktion ; Gentzen, Gerhard ; Popper, Karl R.
Beteiligte Personen und Organisationen
Fichot, Jean (Hrsg.)
Piecha, Thomas (Hrsg.)
Piecha, Thomas (Hrsg.)
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Beteiligte
- Fichot, Jean (Hrsg.)
- Piecha, Thomas (Hrsg.)
Ähnliche Objekte (12)
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Resolution and the Origins of Structural Reasoning : Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version)
General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015
Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018
Kosta Došen, 1954-2017. Detailed Curriculum Vitae
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Kosta Došen 1954–2017 : Obituaries
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Resolution and the Origins of Structural Reasoning : Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version)
General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015
Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018
Kosta Došen, 1954-2017. Detailed Curriculum Vitae
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Kosta Došen 1954–2017 : Obituaries
Proof-Theoretic Harmony: The Issue of Propositional Quantification
Judgements of Higher Levels and Standardized Rules for Logical Constants in Martin-Löf's Theory of Logic
Proof-Theoretic Semantics : Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019
Resolution and the Origins of Structural Reasoning : Early Proof-Theoretic Ideas of Hertz and Gentzen (Extended Version)
General Proof Theory. Celebrating 50 Years of Dag Prawitz's "Natural Deduction". Proceedings of the Conference held in Tübingen, 27-29 November 2015
Proof Theory. Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018
Kosta Došen, 1954-2017. Detailed Curriculum Vitae
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen
Untersuchungen zur regellogischen Deutung von Aussagenverknüpfungen (Dissertation Universität Bonn 1981) with the manuscript Sentential Calculi with Rules of Arbitrary Levels (1982)
Proof-Theoretic Semantics
Proof-Theoretic Semantics : Some Basic Ideas
Kosta Došen 1954–2017 : Obituaries
Proof-Theoretic Harmony: The Issue of Propositional Quantification