A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP

DOI10.1017/s1755020322000090OpenAlexW4221112501MaRDI QIDQ6148476

Rea Golan

Publication date: 11 January 2024

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

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

zbMATH Keywords

proof theoryparaconsistent logics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Minimally inconsistent LP
• The logic of paradox
• Faithfulness for naive validity
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• A natural extension of natural deduction
• Why Priest's reassurance is not reassuring
• Shrieking against gluts: the solution to the 'just true' problem

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