scientific article; zbMATH DE number 3961694

zbMATH Open0597.08007MaRDI QIDQ3728962FDOQ3728962

Authors: George F. McNulty 

Publication date: 1986

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

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

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)

Cited In (4)

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

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)