Abstract

AbstractIn 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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call