Logic of classical refutability and class of extensions of minimal logic

DOI10.12775/LLP.2001.006MaRDI QIDQ4803974zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 2001

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/LLP.2001.006

zbMATH Keywords

logic of classical refutabilityparaconsistent extension of minimal logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• On the structure of paraconsistent extensions of Johansson's logic
• The lattice of extensions of the minimal logic
• Maximal paraconsistent extension of Johansson logic
• Minimally inconsistent LP
• “Reductio ad absurdum” and Łukasiewicz’s modalities

Cited in

(19)

• Extensions of the minimal logic and the interpolation problem
• Slices and levels of extensions of the minimal logic
• Negative equivalence of extensions of minimal logic
• On the structure of paraconsistent extensions of Johansson's logic
• The decidability of Craig's interpolation property in well-composed J-logics
• The interpolation problem in finite-layered pre-Heyting logics
• Perceptibility in pre-Heyting logics
• Layers over minimal logic
• “Reductio ad absurdum” and Łukasiewicz’s modalities
• The projective Beth property in well-composed logics
• On interpolation problem in paraconsistent extensions of the minimal logic
• Interpolation over the minimal logic and Odintsov intervals
• Joint consistency in extensions of the minimal logic
• Craig's interpolation property in pretabular logics
• Interpolation and definability over the logic Gl
• Pretabularity and Craig's interpolation problem over the minimal logic
• Interpolation and the projective Beth property in well-composed logics
• Decidability of the weak interpolation property over the minimal logic
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: Logic of classical refutability and class of extensions of minimal logic

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