Bounded lattice structured discriminator varieties

DOI10.4171/PM/1874MaRDI QIDQ616628zbMATH OpenFDO

Authors Margarita Ramalho

Publication date 12 January 2011

Published in Portugaliae Mathematica. Nova Série (Search for Journal in Brave)

zbMATH Keywords

deductive systemscongruence latticediscriminator varietypseudocomplementationBoolean subreductequivalence of varietiesweak implication

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05) Varieties of lattices (06B20)

Recommendations

• The subquasivariety lattice of a discriminator variety
• Dual discriminator subvarieties of a variety
• Quasi-discriminator varieties
• Characterization of discriminator varieties
• Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator

Cites work

• scientific article; zbMATH DE number 3142898 (Why is no real title available?)
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 124114 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3582215 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 1164019 (Why is no real title available?)
• scientific article; zbMATH DE number 1912565 (Why is no real title available?)
• scientific article; zbMATH DE number 823454 (Why is no real title available?)
• scientific article; zbMATH DE number 3895063 (Why is no real title available?)
• scientific article; zbMATH DE number 3336783 (Why is no real title available?)
• A note on dual discriminator varieties
• Discriminator varieties and symbolic computation
• From the subalgebras of the square to the discriminator
• Lukasiewicz-Moisil algebras
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Principal congruences of tetravalent modal algebras
• Quantifiers on distributive lattices
• The lattice of interpretability types of varieties
• The ternary discriminator function in universal algebra

Cited in

(2)

• Dual discriminator subvarieties of a variety
• Dual binary discriminator varieties

This page was built for publication: Bounded lattice structured discriminator varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616628)