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

DOI10.1023/A:1024630124326zbMath1051.03013OpenAlexW1493313128MaRDI QIDQ1422452

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

finite basisuniversal Horn class\(\vec{k}\)-deductive systemprotoalgebraic deductive system

Mathematics Subject Classification ID

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

Related Items

Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Characterization of protoalgebraic k-deductive systems ⋮ The Beth property in algebraic logic ⋮ Contextual deduction theorems ⋮ Quasivarieties with definable relative principal subcongruences ⋮ Correspondences between gentzen and hilbert systems