Single-assumption systems in proof-theoretic semantics

DOI10.1007/S10992-022-09658-4MaRDI QIDQ2079705OpenAlexWikidataFDO

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)

Recommendations

• Steps towards a proof-theoretical semantics
• The original sin of proof-theoretic semantics
• Proof-theoretic semantics
• SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS
• Harmony in multiple-conclusion natural-deduction

Cites work

• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2170955 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 7594147 (Why is no real title available?)
• A new normalization strategy for the implicational fragment of classical propositional logic
• A normalization-procedure for the first order classical natural deduction with full logical symbols
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons)
• Classical harmony: Rules of inference and the meaning of the logical constants
• Harmony and autonomy in classical logic
• Inversion principles and introduction rules
• Natural deduction for dual-intuitionistic logic
• On sequence-conclusion natural deduction systems
• On the equivalence conjecture for proof-theoretic harmony
• Peirce's rule in natural deduction.
• Proof-theoretic semantics
• Validity concepts in proof-theoretic semantics
• Why conclusions should remain single

Cited in

(2)

• scientific article; zbMATH DE number 120344 (Why is no real title available?)
• 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)