Single-assumption systems in proof-theoretic semantics

DOI10.1007/S10992-022-09658-4OpenAlexW4224801712WikidataQ113900774 ScholiaQ113900774MaRDI QIDQ2079705FDOQ2079705

Authors: 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)

Cites Work

• Classical harmony: Rules of inference and the meaning of the logical constants
• Harmony and autonomy in classical logic
• Title not available (Why is that?)
• Why conclusions should remain single
• Title not available (Why is that?)
• Validity concepts in proof-theoretic semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inversion Principles and Introduction Rules
• Natural deduction for dual-intuitionistic logic
• Peirce's rule in natural deduction.
• A new normalization strategy for the implicational fragment of classical propositional logic
• On sequence-conclusion natural deduction systems
• On the equivalence conjecture for proof-theoretic harmony
• 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
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Bilateral Rules as Complex Rules

This page was built for publication: Single-assumption systems in proof-theoretic semantics

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