scientific article; zbMATH DE number 2047484

MaRDI QIDQ4451641zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 29 February 2004

Full work available at URL https://eudml.org/doc/188039

zbMATH Keywords

Craig interpolation propertydecidabilityextensions of the minimal Johansson logicimplicit definabilityintuitionistic logicpositive logicprojective Beth propertysuperintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 2019879
• Interpolation and Definability in Extensions of the Minimal Logic
• scientific article; zbMATH DE number 6302918
• The projective Beth property in well-composed logics
• The Projective Beth Property and Interpolation in Positive and Related Logics

Cited in

(31)

• Intuitionistic logic and implicit definability
• Extensions of the minimal logic and the interpolation problem
• Elementary definability and completeness in general and positive modal logic
• Recognizability in pre-Heyting and well-composed logics
• The interpolation problem in finite-layered pre-Heyting logics
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms in varieties of subidempotent residuated structures
• Epimorphisms, definability and cardinalities
• Definability and interpolation in non-classical logics
• Eigenvariables, bracketing and the decidability of positive minimal predicate logic
• Synthesis of positive logic programs for checking a class of definitions with infinite quantification
• scientific article; zbMATH DE number 3867294 (Why is no real title available?)
• The projective Beth property in well-composed logics
• Restricted interpolation property in superintuitionistic logics
• Decidability of the interpolation problem and of related properties in tabular logics
• scientific article; zbMATH DE number 2019879 (Why is no real title available?)
• scientific article; zbMATH DE number 847940 (Why is no real title available?)
• 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
• Semilinear De Morgan monoids and epimorphisms
• Kim-independence in positive logic
• Craig's interpolation property in pretabular logics
• Some perverse effects of positivity
• Interpolation and definability over the logic Gl
• Pretabularity and Craig's interpolation property
• 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
• Amalgamation, interpolation, and implicit definability in varieties of algebras
• Hybrid extensions of the minimal logic

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)