A method of defining paraconsistent tableaus

DOI10.1007/978-81-322-2719-9_14MaRDI QIDQ5241530zbMATH OpenOpenAlexFDO

Authors Tomasz Jarmużek, Marcin Tkaczyk

Publication date 31 October 2019

Published in Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-81-322-2719-9_14

zbMATH Keywords

tableaustableau rulesblind ruleparaconsistent consequence relationparaconsistent tableaust-inconsistency

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Tableau systems for paraconsistency and minimal inconsistency
• scientific article; zbMATH DE number 1612547
• A tableau style proof system for two paraconsistent logics
• A simple signed system for paraconsistent reasoning
• A reasoning method for a paraconsistent logic

Cites work

• An introduction to non-classical logic
• Tableau metatheorem for modal logics

Cited in

(1)

• On enumerating models for the logic of paradox using tableau

This page was built for publication: A method of defining paraconsistent tableaus

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