Advances in proof-theoretic semantics
DOI10.1007/978-3-319-22686-6zbMATH Open1331.03009OpenAlexW4213332023MaRDI QIDQ495649FDOQ495649
Authors:
Publication date: 14 September 2015
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-22686-6
Recommendations
- Proof-theoretic semantics
- Proof-theoretic semantics and feasibility
- Open Problems in Proof-Theoretic Semantics
- scientific article; zbMATH DE number 7109521
- Steps towards a proof-theoretical semantics
- Proof-theoretic semantics and inquisitive logic
- scientific article; zbMATH DE number 4195154
- Proof Theories for Semilattice Logics
- Some Remarks on Proof-Theoretic Semantics
Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07) Intuitionistic mathematics (03F55)
Cited In (21)
- Title not available (Why is that?)
- Discussing Hilbert's 24th problem
- General proof theory: introduction
- Gödel on deduction
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms
- A novel approach to equality
- Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013
- Models of HoTT and the Constructive View of Theories
- Fractional semantics for classical logic
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- Proof-theoretic semantics: an autobiographical survey
- Counterfactual assumptions and counterfactual implications
- The placeholder view of assumptions and the Curry-Howard correspondence
- Subatomic negation
- WHAT IS A RULE OF INFERENCE?
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
- Title not available (Why is that?)
- The calculus of natural calculation
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)
This page was built for publication: Advances in proof-theoretic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q495649)
