scientific article; zbMATH DE number 1302673
From MaRDI portal
Publication:4249225
zbMath0931.03042MaRDI QIDQ4249225
Publication date: 21 February 2000
Full work available at URL: https://eudml.org/doc/208919
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyinterpolationHeyting algebrasrelational semanticsvarietiesprinciple of variable separationdisjunction propertymodal logicsamalgamationmodal algebrassuperintuitionistic logicsBeth definabilityHalldén-completenessjoint embedding property
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)
Related Items (3)
Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ On Algebraisation of Superintuitionistic Predicate Logics
This page was built for publication:
