On enumerating models for the logic of paradox using tableau

DOI10.1007/978-3-030-00461-3_16MaRDI QIDQ6109618zbMATH OpenFDO

Authors Pilar Pozos-Parra, Laurent Perrussel, J-M. Thévenin

Publication date 28 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-00461-3_16

zbMATH Keywords

3-valued logicinconsistent informationparaconsistent logicparadoxtableau

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• A tableau style proof system for two paraconsistent logics
• Relational Methods in Computer Science
• Tableau systems for paraconsistency and minimal inconsistency
• Automated correspondence analysis for the binary extensions of the logic of paradox
• A method of defining paraconsistent tableaus

Cited in

(3)

• Table-analytical axiomatizations of expansions of logic Par
• A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems
• Unwinding modal paradoxes on digraphs

This page was built for publication: On enumerating models for the logic of paradox using tableau

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