Strong regular varieties of partial algebras

DOI10.1007/BF01236515zbMath0805.08002OpenAlexW2068214887MaRDI QIDQ1319050

Bożena Staruch, Bogdan Staruch

Publication date: 12 April 1994

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01236515

zbMATH Keywords

partial algebrascomplete system of inference rulesspectral algebrastrong regular varietiesstrong validity

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Partial algebras (08A55)

Related Items (6)

Extensions and congruences of partial lattices ⋮ Unsolid and fluid strong varieties of partial algebras ⋮ Algebraic theory of quasivarieties of heterogeneous partial algebras ⋮ The weak hereditary class of a variety ⋮ Unitary Menger algebra of C-quantifier free formulas of type (τn,(2)) ⋮ HSP-type characterization of strong equational classes of partial algebras

Cites Work

• Unnamed Item
• On normal and regular identities
• On regular identities
• A completeness theorem for weak equational logic
• Algebraic characterization of conflict-free varieties of partial algebras
• Near-equational and equational systems of logic for partial functions. I
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• On a method of construction of abstract algebras
• A homomorphism theorem for partial algebras

This page was built for publication: Strong regular varieties of partial algebras