scientific article; zbMATH DE number 1746556

zbMath0989.03025MaRDI QIDQ4532125

Larisa L. Maksimova

Publication date: 28 May 2002

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting algebraprojective Beth propertyStrong Epimorphism Surjection property

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Intermediate logics (03B55)

Related Items (14)

Hybrid extensions of the minimal logic ⋮ Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ The projective Beth property in well-composed logics ⋮ Recognizable logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Complexity of some problems in positive and related calculi ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Interpolation and definability over the logic Gl ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Definability and interpolation in non-classical logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Restricted interpolation over modal logic S4

This page was built for publication: