Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes

DOI10.1023/A:1024630124326MaRDI QIDQ1422452zbMATH OpenOpenAlexFDO

Authors Katarzyna Pałasińska

Publication date 15 February 2004

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1024630124326

zbMATH Keywords

\(\vec{k}\)-deductive systemfinite basisprotoalgebraic deductive systemuniversal Horn class

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Algebraic logic (03G99)

Recommendations

• Protoalgebraic logics
• scientific article; zbMATH DE number 67022
• Matrices, primitive satisfaction and finitely based logics
• scientific article; zbMATH DE number 139647

Cited in

(8)

• Quasivarieties with definable relative principal subcongruences
• The Beth property in algebraic logic
• Correspondences between gentzen and hilbert systems
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• Characterization of protoalgebraic \(k\)-deductive systems
• Contextual deduction theorems
• A gentle introduction to the Leibniz hierarchy
• Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century

This page was built for publication: Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes

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