scientific article; zbMATH DE number 3961694

zbMATH Open0597.08007MaRDI QIDQ3728962FDOQ3728962

Authors George F. McNulty 

Publication date 1986

zbMATH Keywords

groupoidscongruence modular varietiesproblems in equational logic

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Lattices of varieties (08B15)

Recommendations

• scientific article; zbMATH DE number 4047723
• Some Varieties of Equational Logic
• scientific article; zbMATH DE number 67036
• On the soundness and completeness of equational predicate logics
• scientific article; zbMATH DE number 2108193
• Equational logic as a tool
• The equational logic of fixed points
• A field guide to equational logic
• Equational Reasoning in Non-Classical Logics
• scientific article; zbMATH DE number 1036757

Cited in

(4)

• A field guide to equational logic
• On identities of finite involution semigroups.
• An equational logic sampler
• Finitely based modular congruence varietes are distributive

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