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) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05) 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

(25)

• Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms
• Subatomic negation
• The calculus of natural calculation
• 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
• General proof theory: introduction
• Gödel on deduction
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)
• Fractional semantics for classical logic
• scientific article; zbMATH DE number 7307096 (Why is no real title available?)
• scientific article; zbMATH DE number 7109521 (Why is no real title available?)
• Discussing Hilbert's 24th problem
• The placeholder view of assumptions and the Curry-Howard correspondence
• Models of HoTT and the Constructive View of Theories
• A novel approach to equality
• WHAT IS A RULE OF INFERENCE?
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)
• Introduction: Bilateralism and Proof-Theoretic Semantics (Part II)
• Proof-theoretic semantics: an autobiographical survey
• Counterfactual assumptions and counterfactual implications
• Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
• Base-extension semantics for modal logic
• Proof-theoretic semantics for first-order logic
• Proof-theoretic semantics for intuitionistic multiplicative linear logic

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)