scientific article; zbMATH DE number 2047484

zbMATH Open1034.03008MaRDI QIDQ4451641FDOQ4451641

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?)

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)

Cited In (28)

• 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
• 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
• Recognizability in pre-Heyting and well-composed logics
• Epimorphisms, definability and cardinalities
• Definability and interpolation in non-classical logics
• Interpolation over the minimal logic and Odintsov intervals
• On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic
• Pretabularity and Craig's interpolation property
• Pretabularity and Craig's interpolation problem over the minimal logic
• 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)