Table-analytical axiomatizations of expansions of logic Par

zbMATH Open1370.03034MaRDI QIDQ2811659FDOQ2811659

Authors: Artem Andreevich Solotschenkov 

Publication date: 10 June 2016

Published in: Logicheskie Issledovaniya (Search for Journal in Brave)

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

zbMATH Keywords

closed setparaconsistent logicparacomplete logicparalogicsanalytical tablemarked formulaparanormal logictable-analytical axiomatization

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (4)

• Analytic tableaux for positive logic free from ``paradoxes of material implication
• Title not available (Why is that?)
• Axiom Pinpointing in General Tableaux
• Not every ``tabular predicate logic is finitely axiomatizable

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)