HSP-type Characterization of Strong Equational Classes of Partial Algebras |
| |
Authors: | Bogdan Staruch |
| |
Institution: | (1) Department of Psychology, University of Melbourne, Parkville, Australia; |
| |
Abstract: | This paper presents the first purely algebraic characterization of classes of partial algebras definable by a set of strong
equations. This result was posible due to new tools such as invariant congruences, i.e. a generalization of the notion of
a fully invariant congruence, and extension of algebras, specific for strong equations. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|