Extensions of paraconsistent weak Kleene logic

DOI10.1093/JIGPAL/JZAA024MaRDI QIDQ5014063zbMATH OpenOpenAlexFDO

Authors Francesco Paoli, Michele Pra Baldi

Publication date 3 December 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzaa024

zbMATH Keywords

abstract algebraic logiclogics of variable inclusionparaconsistent logicparaconsistent weak Kleene logicPłonka sums

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Abstract algebraic logic (03G27)

Recommendations

• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Proof theory of paraconsistent weak Kleene logic
• Semantical analysis of weak Kleene logics
• An epistemic interpretation of paraconsistent weak Kleene logic
• Conjunction in paraconsistent weak Kleene logic

Cited in

(14)

• Extensions of Hałkowska-Zajac's three-valued paraconsistent logic
• Proof theory of paraconsistent weak Kleene logic
• Probability over Płonka sums of Boolean algebras: states, metrics and topology
• scientific article; zbMATH DE number 5316399 (Why is no real title available?)
• Logical Weak Completions of Paraconsistent Logics
• Pure variable inclusion logics
• Characterizing logical consequence in paraconsistent weak Kleene
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Conjunction in paraconsistent weak Kleene logic
• On the three-valued expansions of Kleene's logic
• Three-valued generalizations of classical logic in weak languages: the degree of maximality
• A new game theoretic semantics (GTS-2) for weak Kleene logics
• On the structure of Bochvar algebras
• Left variable inclusion logics associated with classical logic

This page was built for publication: Extensions of paraconsistent weak Kleene logic

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