Tableau systems for paraconsistency and minimal inconsistency

DOI10.1007/BF02946605MaRDI QIDQ1127720zbMATH OpenOpenAlexFDO

Authors Zuoquan Lin

Publication date 19 January 1999

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02946605

zbMATH Keywords

circumscriptionlogic of paradoxnonmonotonic extension by minimal inconsistencynonmonotonic logicparaconsistent logicsemanticstableaux

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Recommendations

• A tableau style proof system for two paraconsistent logics
• A method of defining paraconsistent tableaus
• scientific article; zbMATH DE number 1612547
• scientific article; zbMATH DE number 2070200

Cites work

• Circumscription - a form of non-monotonic reasoning
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Minimally inconsistent LP
• The logic of paradox

Cited in

(5)

• A tableau style proof system for two paraconsistent logics
• Table-analytical axiomatizations of expansions of logic Par
• Tableaux with four signs as a unified framework
• A method of defining paraconsistent tableaus
• On enumerating models for the logic of paradox using tableau

This page was built for publication: Tableau systems for paraconsistency and minimal inconsistency

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