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
(25)- 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
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- 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
- Following all the rules: intuitionistic completeness for generalized proof-theoretic validity
- 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?)
- Base-extension semantics for modal logic
- The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract)
- Proof-theoretic semantics for first-order 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)
