Logic of classical refutability and class of extensions of minimal logic
From MaRDI portal
Publication:4803974
DOI10.12775/LLP.2001.006zbMath1034.03027MaRDI QIDQ4803974
Publication date: 2001
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
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