Tableau systems for paraconsistency and minimal inconsistency

DOI10.1007/BF02946605zbMath0904.03015OpenAlexW1968005477MaRDI QIDQ1127720

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

nonmonotonic logictableauxsemanticsparaconsistent logiccircumscriptionlogic of paradoxnonmonotonic extension by minimal inconsistency

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Circumscription - a form of non-monotonic reasoning
• Minimally inconsistent LP
• The logic of paradox

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