scientific article; zbMATH DE number 3625386

MaRDI QIDQ4187823zbMATH OpenFDO

Authors Wojciech Dzik, Roman Suszko

Publication date 1977

zbMATH Keywords

Closure OperatorsDistributivity of Closure Systems

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Algebraic logic (03G99) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Cited in

(11)

• A finite basis theorem for quasivarieties
• Filter distributive logics
• Matrices, primitive satisfaction and finitely based logics
• Local deductions theorems
• Equivalential logics. II
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• A Generalization of Maksimova’s Criterion for the Disjunction Property
• Protoalgebraic logics
• Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class

This page was built for publication:

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