scientific article; zbMATH DE number 3625386
From MaRDI portal
Publication:4187823
zbMath0403.03053MaRDI QIDQ4187823
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical aspects of lattices and related structures (03G10) Algebraic logic (03G99) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (10)
Matrices, primitive satisfaction and finitely based logics ⋮ Local deductions theorems ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ Equivalential logics. II ⋮ Protoalgebraic logics ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ A finite basis theorem for quasivarieties ⋮ Filter distributive logics
This page was built for publication: