A Method of Defining Paraconsistent Tableaus

DOI10.1007/978-81-322-2719-9_14zbMath1423.03101OpenAlexW2466076992MaRDI QIDQ5241530

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)

Cites Work

• Unnamed Item
• Tableau Metatheorem for Modal Logics

This page was built for publication: A Method of Defining Paraconsistent Tableaus