In this paper we investigate subtractive varieties of algebras that are Fregean in order to get structure theorems about them. For instance it turns out that a subtractive variety is Fregean and has equationally definable principal congruences if and only if it is termwise equivalent to a variety of Hilbert algebras with compatible operations. Several examples are provided to illustrate the theory.
|Titolo:||Fregean subtractive varieties with definable congruence|
|Appare nelle tipologie:||1.1 Articolo in rivista|
File in questo prodotto: