On the structure of paraconsistent extensions of Johansson's logic

DOI10.1016/j.jal.2004.07.011zbMath1063.03014OpenAlexW1992046510MaRDI QIDQ1775862

Sergei P. Odintsov

Publication date: 4 May 2005

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2004.07.011

zbMATH Keywords

Kripke semantics\(j\)-algebraParaconsistent logicAlgebraic semanticsMinimal logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (5)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ Canonical formulas for a paraconsistent analog of the Scott logic ⋮ Classifying material implications over minimal logic ⋮ What is a non-truth-functional logic? ⋮ The class of extensions of Nelson's paraconsistent logic

Cites Work

• An algebraic approach to non-classical logics
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• Kripke models and intermediate logics
• Logic of classical refutability and class of extensions of minimal logic
• A Remark on the Intersection of Tow Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the structure of paraconsistent extensions of Johansson's logic