Intuitionistic logic and implicit definability

DOI10.1016/S0168-0072(99)00049-4zbMath0963.03044MaRDI QIDQ1591374

Larisa L. Maksimova

Publication date: 25 June 2001

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

zbMATH Keywords

finite model propertysuperintuitionistic logicprojective Beth propertyvarieties of Heyting algebrasstrong epimorphisms surjectivity

Mathematics Subject Classification ID

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

Related Items (30)

Hybrid extensions of the minimal logic ⋮ Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Extensions of the minimal logic and the interpolation problem ⋮ Complexity of interpolation and related problems in positive calculi ⋮ Joint consistency in extensions of the minimal logic ⋮ The projective Beth property in well-composed logics ⋮ Epimorphisms in varieties of residuated structures ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ First-order interpolation derived from propositional interpolation ⋮ Complexity of some problems in positive and related calculi ⋮ Synonymous theories and knowledge representations in answer set programming ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ The Beth property in algebraic logic ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Interpolation and definability over the logic Gl ⋮ Dominions of universal algebras and projective properties ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Definability and interpolation in non-classical logics ⋮ 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Epimorphisms, definability and cardinalities ⋮ Restricted interpolation over modal logic S4

Cites Work

• Interpolation properties of superintuitionistic logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A propositional calculus with denumerable matrix
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic logic and implicit definability