Beeld op de omslag

Advances in Proof-Theoretic Semantics

Toon andere (2) versies

Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages

Bewaard in:

Bibliografische gegevens
Andere auteurs:	Piecha, Thomas (Redacteur), Schroeder-Heister, Peter (Redacteur)
Formaat:	Elektronisch Hoofdstuk
Taal:	Engels
Gepubliceerd in:	Cham Springer Nature 2016
Reeks:	Trends in Logic
Onderwerpen:	Mathematics & science Probability & statistics Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages
Online toegang:	DOAB: download the publication DOAB: description of the publication
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Advances in Proof-Theoretic Semantics
Gepubliceerd in: (2016)

Advances in Proof-Theoretic Semantics
Gepubliceerd in: (2016)

Peter Schroeder-Heister on Proof-Theoretic Semantics
Gepubliceerd in: (2024)

Inquisitive Logic Consequence and Inference in the Realm of Questions /
door: Ciardelli, Ivano
Gepubliceerd in: (2022)

The Logical Writings of Karl Popper
Gepubliceerd in: (2022)

Paul Lorenzen -- Mathematician and Logician
Gepubliceerd in: (2021)

Mathematical Aspects of Logic Programming Semantics
door: Hitzler, Pascal
Gepubliceerd in: (2010)

Fading Foundations Probability and the Regress Problem /
door: Atkinson, David, et al.
Gepubliceerd in: (2017)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
Gepubliceerd in: (2020)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Gepubliceerd in: (2021)

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Gepubliceerd in: (2021)

Variant Construction from Theoretical Foundation to Applications
Gepubliceerd in: (2019)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Gepubliceerd in: (2020)

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Gepubliceerd in: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II /
Gepubliceerd in: (2019)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Gepubliceerd in: (2021)

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Gepubliceerd in: (2021)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Gepubliceerd in: (2022)

The Game of Logic
door: Carroll, Lewis, 1832-1898

The Algebra of Logic
door: Couturat, Louis, 1868-1914; Jourdain, Philip E. B. (Philip Edward Bertrand), 1879-1919 [Author of introduction, etc.]; Robinson, Lydia Gillingham, 1875- [Translator]

An Investigation of the Laws of Thought On which are founded the mathematical theories of logic and probabilities
door: Boole, George, 1815-1864

Symbolic Logic
door: Carroll, Lewis, 1832-1898

The calculus of logic
door: Boole, George, 1815-1864

Fading Foundations Probability and the Regress Problem
door: Atkinson, David
Gepubliceerd in: (2017)

Fading Foundations Probability and the Regress Problem
door: Atkinson, David
Gepubliceerd in: (2017)

The Logical Writings of Karl Popper
Gepubliceerd in: (2022)

The Logical Writings of Karl Popper
Gepubliceerd in: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions
door: Ciardelli, Ivano
Gepubliceerd in: (2022)

Inquisitive Logic Consequence and Inference in the Realm of Questions
door: Ciardelli, Ivano
Gepubliceerd in: (2022)

Variant Construction from Theoretical Foundation to Applications
Gepubliceerd in: (2019)

Variant Construction from Theoretical Foundation to Applications
Gepubliceerd in: (2019)

Vorlesungen über Philosophische Logik
door: Fuhrmann, André
Gepubliceerd in: (2023)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Gepubliceerd in: (2019)

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Gepubliceerd in: (2019)

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Gepubliceerd in: (2019)

Sheaf Theory through Examples
door: Rosiak, Daniel
Gepubliceerd in: (2022)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Gepubliceerd in: (2022)

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Gepubliceerd in: (2022)

Cognizione e realtà
door: Arecchi, Fortunato Tito
Gepubliceerd in: (2018)

Cognizione e realtà
door: Arecchi, Fortunato Tito
Gepubliceerd in: (2018)