Open Problems in Proof-Theoretic Semantics

DOI10.1007/978-3-319-22686-6_16OpenAlexW4251168359MaRDI QIDQ5864209

Peter Schroeder-Heister

Publication date: 3 June 2022

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

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

zbMATH Keywords

harmonyhypothesissequent calculusnatural deductionproof-theoretic semanticsdefinitional reflectionidentity of proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (8)

Gödel on deduction ⋮ 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 ⋮ Subatomic natural deduction for a naturalistic first-order language with non-primitive identity ⋮ Does the Implication Elimination Rule Need a Minor Premise?

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