Strong regular varieties of partial algebras (Q1319050)

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.