Strong regular varieties of partial algebras
From MaRDI portal
The notion of a spectral algebra for a class of partial algebras generalizing the notion of a free algebra is given. Using this notion and the notion of strong validity introduced here as a substitute for the notion of validity, a Birkhoff-like theorem for strong regular varieties of partial algebras is proved. Some applications of the theorem are given, e.g., a complete system of inference rules for the theory of strong regular validity in partial algebras is presented.
Recommendations
Cites work
- A completeness theorem for weak equational logic
- A homomorphism theorem for partial algebras
- Algebraic characterization of conflict-free varieties of partial algebras
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
- scientific article; zbMATH DE number 3963900 (Why is no real title available?)
- Near-equational and equational systems of logic for partial functions. I
- On a method of construction of abstract algebras
- On normal and regular identities
- On regular identities
Cited in
(17)- HSP-type characterization of strong equational classes of partial algebras
- On the regular part of varieties of algebras
- Strong regular varieties of partial algebras. I
- Algebraic theory of quasivarieties of heterogeneous partial algebras
- Varieties of regular pseudocomplemented De Morgan algebras
- Extensions and congruences of partial lattices
- The weak hereditary class of a variety
- scientific article; zbMATH DE number 5556157 (Why is no real title available?)
- A Birkhoff type theorem for strong varieties
- scientific article; zbMATH DE number 3963903 (Why is no real title available?)
- scientific article; zbMATH DE number 4067131 (Why is no real title available?)
- CONGRUENCES ON MAXIMAL PARTIAL CLONES AND STRONG REGULAR VARIETIES GENERATED BY PREPRIMAL PARTIAL ALGEBRAS II
- scientific article; zbMATH DE number 859904 (Why is no real title available?)
- scientific article; zbMATH DE number 6172859 (Why is no real title available?)
- Unitary Menger algebra of C-quantifier free formulas of type (_n,(2))
- scientific article; zbMATH DE number 6028058 (Why is no real title available?)
- Unsolid and fluid strong varieties of partial algebras
This page was built for publication: Strong regular varieties of partial algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1319050)
