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

DOI10.1023/A:1024630124326zbMATH Open1051.03013OpenAlexW1493313128MaRDI QIDQ1422452FDOQ1422452

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

Recommendations

• Protoalgebraic logics
• scientific article
• Matrices, primitive satisfaction and finitely based logics
• scientific article

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (6)

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

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)