Logic of classical refutability and class of extensions of minimal logic

DOI10.12775/LLP.2001.006zbMath1034.03027MaRDI QIDQ4803974

Sergei P. Odintsov

Publication date: 2001

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

zbMATH Keywords

logic of classical refutabilityparaconsistent extension of minimal logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (17)

Extensions of the minimal logic and the interpolation problem ⋮ Layers over minimal logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Joint consistency in extensions of the minimal logic ⋮ The projective Beth property in well-composed logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Craig's interpolation property in pretabular logics ⋮ Perceptibility in pre-Heyting logics ⋮ Interpolation and definability over the logic Gl ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ Slices and levels of extensions of the minimal logic ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Negative equivalence of extensions of minimal logic ⋮ On the structure of paraconsistent extensions of Johansson's logic

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