scientific article; zbMATH DE number 2047484
zbMATH Open1034.03008MaRDI QIDQ4451641FDOQ4451641
Authors: L. L. Maksimova 
Publication date: 29 February 2004
Full work available at URL: https://eudml.org/doc/188039
Title of this publication is not available (Why is that?)
Recommendations
decidabilityintuitionistic logicimplicit definabilityprojective Beth propertysuperintuitionistic logicCraig interpolation propertypositive logicextensions of the minimal Johansson logic
Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)
Cited In (31)
- Joint consistency in extensions of the minimal logic
- Hybrid extensions of the minimal logic
- Interpolation and definability over the logic Gl
- Decidability of the weak interpolation property over the minimal logic
- Interpolation and the projective Beth property in well-composed logics
- Semilinear De Morgan monoids and epimorphisms
- Eigenvariables, bracketing and the decidability of positive minimal predicate logic
- Epimorphism surjectivity in varieties of Heyting algebras
- Elementary definability and completeness in general and positive modal logic
- Epimorphisms in varieties of subidempotent residuated structures
- Intuitionistic logic and implicit definability
- The interpolation problem in finite-layered pre-Heyting logics
- Kim-independence in positive logic
- On interpolation problem in paraconsistent extensions of the minimal logic
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification
- Restricted interpolation property in superintuitionistic logics
- Amalgamation, interpolation, and implicit definability in varieties of algebras
- Title not available (Why is that?)
- Craig's interpolation property in pretabular logics
- Some perverse effects of positivity
- Recognizability in pre-Heyting and well-composed logics
- Epimorphisms, definability and cardinalities
- Title not available (Why is that?)
- Definability and interpolation in non-classical logics
- Interpolation over the minimal logic and Odintsov intervals
- Pretabularity and Craig's interpolation property
- Pretabularity and Craig's interpolation problem over the minimal logic
- Title not available (Why is that?)
- Extensions of the minimal logic and the interpolation problem
- The projective Beth property in well-composed logics
- Decidability of the interpolation problem and of related properties in tabular logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451641)
