scientific article; zbMATH DE number 2047484
From MaRDI portal
Publication:4451641
zbMath1034.03008MaRDI QIDQ4451641
Publication date: 29 February 2004
Full work available at URL: https://eudml.org/doc/188039
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilityintuitionistic logicsuperintuitionistic logicimplicit definabilityprojective Beth propertyCraig interpolation propertypositive logicextensions of the minimal Johansson logic
Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items
Hybrid extensions of the minimal logic ⋮ Extensions of the minimal logic and the interpolation problem ⋮ Joint consistency in extensions of the minimal logic ⋮ The projective Beth property in well-composed logics ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Craig's interpolation property in pretabular logics ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Interpolation and definability over the logic Gl ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Recognizability in pre-Heyting and well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Definability and interpolation in non-classical logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Epimorphisms, definability and cardinalities