scientific article; zbMATH DE number 2144728

zbMATH Open1066.08002MaRDI QIDQ4657008FDOQ4657008

Authors: Ivan Chajda 

Publication date: 14 March 2005

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

deductive systemHilbert algebraterm functioncongruence kernelweakly regular variety

Mathematics Subject Classification ID

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

Cited In (17)

• Title not available (Why is that?)
• General theory of the commutator for deductive systems. I: Basic facts
• Title not available (Why is that?)
• Deductive systems of GE-algebras
• Varieties of algebraic systems and propositional calculi
• Title not available (Why is that?)
• Beyond Rasiowan systems: unital deductive systems
• A glimpse of deductive systems in algebra
• Central Hilbert algebras
• Compatible deductive systems of pulexes
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)