Bounded lattice structured discriminator varieties

DOI10.4171/PM/1874zbMath1213.08002MaRDI QIDQ616628

Margarita Ramalho

Publication date: 12 January 2011

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

zbMATH Keywords

congruence latticediscriminator varietypseudocomplementationdeductive systemsBoolean subreductequivalence of varietiesweak implication

Mathematics Subject Classification ID

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

Cites Work

• Principal congruences of tetravalent modal algebras
• From the subalgebras of the square to the discriminator
• Quantifiers on distributive lattices
• Lukasiewicz-Moisil algebras
• Discriminator varieties and symbolic computation
• The ternary discriminator function in universal algebra
• The lattice of interpretability types of varieties
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• A note on dual discriminator varieties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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