Fregean subtractive varieties with definable congruence

DOI10.1017/S1446788700002998zbMath0995.08004OpenAlexW1994792099MaRDI QIDQ4531552

Paolo Agliano

Publication date: 7 October 2002

Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1446788700002998

zbMATH Keywords

subtractive varietyFregean varietycongruence-orderable varietydual Hilbert algebravariety with equationally definable principal congruences

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Varieties (08B99)

Related Items (6)

Fregean logics ⋮ Lee classes for pseudocomplemented semilattices, revisited ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ FREGEAN VARIETIES ⋮ Free spectra of linear equivalential algebras

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

This page was built for publication: Fregean subtractive varieties with definable congruence