Strong regular varieties of partial algebras (Q1319050)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Strong regular varieties of partial algebras |
scientific article; zbMATH DE number 549244
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong regular varieties of partial algebras |
scientific article; zbMATH DE number 549244 |
Statements
Strong regular varieties of partial algebras (English)
0 references
12 April 1994
0 references
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.
0 references
spectral algebra
0 references
partial algebras
0 references
strong validity
0 references
strong regular varieties
0 references
complete system of inference rules
0 references
0 references
