Single-assumption systems in proof-theoretic semantics

DOI10.1007/s10992-022-09658-4OpenAlexW4224801712WikidataQ113900774 ScholiaQ113900774MaRDI QIDQ2079705

Leonardo Ceragioli

Publication date: 30 September 2022

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-022-09658-4

zbMATH Keywords

separabilityproof-theoretic semanticsmultiple conclusionmultiple assumptionsingle assumptionsingle conclusions

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Bilateral Rules as Complex Rules

Cites Work

• Why conclusions should remain single
• Natural deduction for dual-intuitionistic logic
• A new normalization strategy for the implicational fragment of classical propositional logic
• On sequence-conclusion natural deduction systems
• Classical harmony: Rules of inference and the meaning of the logical constants
• Harmony and autonomy in classical logic
• Peirce's rule in natural deduction.
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• A normalization-procedure for the first order classical natural deduction with full logical symbols
• On the equivalence conjecture for proof-theoretic harmony
• Validity concepts in proof-theoretic semantics
• Inversion Principles and Introduction Rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item