Advances in proof-theoretic semantics

DOI10.1007/978-3-319-22686-6MaRDI QIDQ495649zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

Cited in

(21)

• scientific article; zbMATH DE number 7307096 (Why is no real title available?)
• Discussing Hilbert's 24th problem
• General proof theory: introduction
• Gödel on deduction
• Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• 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
• A novel approach to equality
• 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
• Subatomic negation
• The placeholder view of assumptions and the Curry-Howard correspondence
• Proof-theoretic semantics: an autobiographical survey
• Counterfactual assumptions and counterfactual implications
• WHAT IS A RULE OF INFERENCE?
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
• The calculus of natural calculation
• scientific article; zbMATH DE number 7109521 (Why is no real title available?)
• 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)