A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP

DOI10.1017/S1755020322000090MaRDI QIDQ6148476zbMATH OpenOpenAlexFDO

Authors Rea Golan

Publication date 11 January 2024

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/s1755020322000090

zbMATH Keywords

paraconsistent logicsproof theory

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• A natural extension of natural deduction
• An introduction to non-classical logic. From if to is
• Faithfulness for naive validity
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 7455717 (Why is no real title available?)
• Minimally inconsistent LP
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Shrieking against gluts: the solution to the `just true' problem
• The logic of paradox
• Why Priest's reassurance is not reassuring

Cited in

(3)

• Sequent calculi for first-order ST
• A hybrid calculus for the validities and invalidities of classical propositional logic
• Simple sequent systems for the modal logics K, D, T, and S4

This page was built for publication: A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP

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