Some Remarks on Proof-Theoretic Semantics

DOI10.1007/978-3-319-22686-6_5OpenAlexW2274932923MaRDI QIDQ5864198

Roy Dyckhoff

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_5

zbMATH Keywords

harmonystrong normalisationgeneral elimination rules

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 (7)

Bilateral Rules as Complex Rules ⋮ Proof-theoretic harmony: towards an intensional account ⋮ Proof Terms for Generalized Natural Deduction ⋮ General-elimination stability ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Harmony in Proof-Theoretic Semantics: A Reductive Analysis ⋮ Deriving Natural Deduction Rules from Truth Tables

This page was built for publication: Some Remarks on Proof-Theoretic Semantics