1,721,013 research outputs found
Equational Calculi for algebras with empty carrier sets
No full textAn equational calculus dealing with empty carrier sets in many-sorted algebras is presented
Soundness and completeness of the Birkhoff many-sorted equational calculus
No full textAn algebraic specification language is introduced dealing with empty carrier sets
Results and research topics in equational type logic
No full textAn algebraic method is presented for abstract data type specification
On the nature of TELLUS
No full textAn equational language for abstract data type specification is introduced
A deductive system extending Equational Logic with Type Assignment
No full textAn equational calculus extended with type assignment is introduced for abstract data type specification
Factor Varieties
Full text linkThe universal algebraic literature is rife with generalisations of discriminator varieties, whereby several investigators have tried to preserve in more general settings as much as possible of their structure theory. Here, we modify the definition of discriminator algebra by having the switching function project onto its third coordinate in case the ordered pair of its first two coordinates belongs
to a designated relation (not necessarily the diagonal relation). We call these algebras factor algebras and the varieties they generate factor varieties. Among other things, we provide an equational description of these varieties and match equational conditions involving the factor term with properties of the associated factor relation. Factor varieties include, apart from discriminator varieties, several varieties of algebras from quantum and fuzzy logics
- …
