Intuitionistic logic and implicit definability

DOI10.1016/S0168-0072(99)00049-4MaRDI QIDQ1591374zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 25 June 2001

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0168-0072(99)00049-4

zbMATH Keywords

finite model propertyprojective Beth propertystrong epimorphisms surjectivitysuperintuitionistic logicvarieties of Heyting algebras

Mathematics Subject Classification ID

Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Superintuitionistic logics and the projective Beth property
• scientific article; zbMATH DE number 2047484
• scientific article; zbMATH DE number 1396683
• Problem of restricted interpolation in superintuitionistic and some modal logics
• scientific article; zbMATH DE number 1354097

Cites work

• A propositional calculus with denumerable matrix
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 4047685 (Why is no real title available?)
• scientific article; zbMATH DE number 125237 (Why is no real title available?)
• scientific article; zbMATH DE number 3556024 (Why is no real title available?)
• scientific article; zbMATH DE number 3625380 (Why is no real title available?)
• scientific article; zbMATH DE number 3639621 (Why is no real title available?)
• scientific article; zbMATH DE number 475243 (Why is no real title available?)
• scientific article; zbMATH DE number 1396683 (Why is no real title available?)
• scientific article; zbMATH DE number 3231075 (Why is no real title available?)
• scientific article; zbMATH DE number 3264054 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Interpolation properties of superintuitionistic logics
• Superintuitionistic logics and the projective Beth property
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(43)

• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Complexity of some problems in positive and related calculi
• Extensions of the minimal logic and the interpolation problem
• Definability and automorphisms in abstract logics
• A category equivalence for odd Sugihara monoids and its applications
• The decidability of Craig's interpolation property in well-composed J-logics
• The interpolation problem in finite-layered pre-Heyting logics
• Algorithms for recognizing restricted interpolation over the modal logic S4
• First-order interpolation derived from propositional interpolation
• Epimorphism surjectivity in varieties of Heyting algebras
• Epimorphisms in varieties of subidempotent residuated structures
• Epimorphisms, definability and cardinalities
• Absolute L-realizability and intuitionistic logic
• Restricted interpolation over modal logic S4
• Epimorphisms in varieties of residuated structures
• The Beth property in algebraic logic
• Projective Beth property in extensions of Grzegorczyk logic
• Definability and interpolation in non-classical logics
• Superintuitionistic logics and the projective Beth property
• 2004 Summer Meeting of the Association for Symbolic Logic
• Properties of Intuitionistic Provability and Preservativity Logics
• scientific article; zbMATH DE number 4152338 (Why is no real title available?)
• Dominions of universal algebras and projective properties
• The projective Beth property in well-composed logics
• Synonymous theories and knowledge representations in answer set programming
• Restricted interpolation property in superintuitionistic logics
• Decidability of the interpolation problem and of related properties in tabular logics
• 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02
• Complexity of interpolation and related problems in positive calculi
• Дедуктивные логики и их связь с интуиционистской логикой
• Towards CERes in intuitionistic logic
• scientific article; zbMATH DE number 749933 (Why is no real title available?)
• On interpolation problem in paraconsistent extensions of the minimal logic
• Intuitionistic Logic and Computability Theory
• scientific article; zbMATH DE number 7599980 (Why is no real title available?)
• scientific article; zbMATH DE number 6287649 (Why is no real title available?)
• Joint consistency in extensions of the minimal logic
• Interpolation and definability over the logic Gl
• An analytic representation of the semantics of first-order S5
• 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: Intuitionistic logic and implicit definability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1591374)