scientific article; zbMATH DE number 2144728

MaRDI QIDQ4657008zbMATH OpenFDO

Authors Ivan Chajda

Publication date 14 March 2005

zbMATH Keywords

deductive systemHilbert algebraterm functioncongruence kernelweakly regular variety

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• scientific article; zbMATH DE number 1457331
• The lattice of deductive systems on Hilbert algebras
• Congruence kernels in weakly regular varieties
• A glimpse of deductive systems in algebra
• Central Hilbert algebras

Cited in

(17)

• scientific article; zbMATH DE number 3961574 (Why is no real title available?)
• General theory of the commutator for deductive systems. I: Basic facts
• scientific article; zbMATH DE number 1775481 (Why is no real title available?)
• Varieties of algebraic systems and propositional calculi
• Deductive systems of GE-algebras
• scientific article; zbMATH DE number 2149944 (Why is no real title available?)
• Beyond Rasiowan systems: unital deductive systems
• A glimpse of deductive systems in algebra
• Compatible deductive systems of pulexes
• Central Hilbert algebras
• scientific article; zbMATH DE number 2119403 (Why is no real title available?)
• scientific article; zbMATH DE number 6795677 (Why is no real title available?)
• A universal deduction theorem
• The lattice of deductive systems on Hilbert algebras
• TERNARY t-DEDUCTIVE SYSTEMS
• Deductive Varieties of Modules and Universal Algebras
• Congruence kernels in weakly regular varieties

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 Q4657008)