Fregean subtractive varieties with definable congruence
From MaRDI portal
Publication:4531552
DOI10.1017/S1446788700002998zbMath0995.08004MaRDI QIDQ4531552
Publication date: 7 October 2002
Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)
subtractive variety; Fregean variety; congruence-orderable variety; dual Hilbert algebra; variety with equationally definable principal congruences
Related Items
Free spectra of linear equivalential algebras, Lee classes for pseudocomplemented semilattices, revisited, Fregean logics, Constructive logic with strong negation is a substructural logic. II, Fregean logics with the multiterm deduction theorem and their algebraization, FREGEAN VARIETIES
Cites Work
- On the structure of varieties with equationally definable principal congruences. II
- Ideals in universal algebras
- On subtractive varieties. III: From ideals to congruences
- On subtractive varieties II: General properties
- On subtractive varieties. I
- On the structure of varieties with equationally definable principal congruences. I
- On subtractive varieties. IV: Definability of principal ideals
- Brouwerian Semilattices
- The structure of finite algebras