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.
Publisher
Cambridge University Press (CUP)
Reference21 articles.
1. On the structure of varieties with equationally definable principal congruences II
2. [5] Barbour G. D. and Raftery J. G. , ‘On quasivarieties of logic, regularity conditions and parametrized algebrizations’, Preprint, 1997.
3. On subtractive varieties II: General properties
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献