Table-analytical axiomatizations of expansions of logic Par

MaRDI QIDQ2811659zbMATHFDO

Authors Artem Andreevich Solotschenkov

Publication date 10 June 2016

Published in Logicheskie Issledovaniya (Search for Journal in Brave)

zbMATH Keywords

closed setparaconsistent logicparacomplete logicparalogicsanalytical tablemarked formulaparanormal logictable-analytical axiomatization

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 575581
• A tableau style proof system for two paraconsistent logics
• On enumerating models for the logic of paradox using tableau
• Tableau systems for paraconsistency and minimal inconsistency
• Taming paraconsistent (and other) logics: an algorithmic approach

Cited in

(4)

• scientific article; zbMATH DE number 5592264 (Why is no real title available?)
• Not every ``tabular predicate logic is finitely axiomatizable
• Analytic tableaux for positive logic free from ``paradoxes of material implication
• Axiom Pinpointing in General Tableaux

This page was built for publication: Table-analytical axiomatizations of expansions of logic Par

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