On the structure of paraconsistent extensions of Johansson's logic

DOI10.1016/J.JAL.2004.07.011zbMATH Open1063.03014OpenAlexW1992046510MaRDI QIDQ1775862FDOQ1775862

Authors: S. 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

Recommendations

• The lattice of extensions of the minimal logic
• scientific article; zbMATH DE number 1790851
• scientific article; zbMATH DE number 2154091
• Maximal paraconsistent extension of Johansson logic
• Logic of classical refutability and class of extensions of minimal logic

zbMATH Keywords

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

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximal paraconsistent extension of Johansson logic
• Logic of classical refutability and class of extensions of minimal logic
• A Remark on the Intersection of Tow Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kripke models and intermediate logics
• Title not available (Why is that?)
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (15)

• Yankov Characteristic Formulas (An Algebraic Account)
• Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
• On models of paraconsistent logic with Kreisel-Putnam's and Scott's axioms
• The lattice of extensions of the minimal logic
• Canonical formulas for a paraconsistent analog of the Scott logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximal paraconsistent extension of Johansson logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive classifications of modal logics and extensions of minimal logic
• What is a non-truth-functional logic?
• The class of extensions of Nelson's paraconsistent logic
• Logic of classical refutability and class of extensions of minimal logic
• Classifying material implications over minimal logic

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

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