scientific article; zbMATH DE number 2047484

MaRDI QIDQ4451641zbMATHFDO

Authors L. L. Maksimova

Publication date 29 February 2004

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

zbMATH Keywords

decidabilityintuitionistic logicimplicit definabilityprojective Beth propertysuperintuitionistic logicCraig interpolation propertypositive logicextensions of the minimal Johansson 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)

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

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)