Open Problems in Proof-Theoretic Semantics

DOI10.1007/978-3-319-22686-6_16MaRDI QIDQ5864209zbMATH OpenOpenAlexFDO

Authors Peter Schroeder-Heister

Publication date 3 June 2022

Published in Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-22686-6_16

zbMATH Keywords

definitional reflectionharmonyhypothesisidentity of proofsnatural deductionproof-theoretic semanticssequent calculus

Mathematics Subject Classification ID

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

• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• Proof-theoretic semantics, a problem with negation and prospects for modality
• On the notion of canonical derivations from open assumptions and its role in proof-theoretic semantics
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• Proof-theoretic semantics and inquisitive logic

Cited in

(17)

• Subatomic natural deduction for a naturalistic first-order language with non-primitive identity
• Gödel on deduction
• Does the implication elimination rule need a minor premise?
• Advances in proof-theoretic semantics
• Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Models of HoTT and the Constructive View of Theories
• Semantical analysis of the logic of bunched implications
• Logical multilateralism
• Which `intensional paradoxes' are paradoxes?
• Proof-theoretic semantics: an autobiographical survey
• Frege's class theory and the logic of sets
• The logicality of equality
• Intensional harmony as isomorphism
• Paradoxes, intuitionism, and proof-theoretic semantics
• The proof-theoretic square
• Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations

This page was built for publication: Open Problems in Proof-Theoretic Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5864209)