On algebras and varieties with semilattice reducts

DOI10.1007/BF01196100zbMath0787.08009MaRDI QIDQ1802261

Margarita Ramalho

Publication date: 17 May 1994

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

congruence latticelattice of interpretability types of varietiessemilattice reductinterpretations in the variety of Heyting algebraslattice of subvarieties of Heyting algebrassemilattices with filter-preserving operations

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Semilattices (06A12) Varieties of lattices (06B20) Algebraic structures (08A99) Varieties (08B99)

Related Items (1)

On algebras and varieties with semilattice reducts

Cites Work

• Unnamed Item
• On interpretations of varieties with semilattice reduct
• On algebras and varieties with semilattice reducts
• Interpretations into Heyting algebras
• Completeness in arithmetical algebras
• The lattice of interpretability types of varieties
• Algebraizable logics
• Brouwerian Semilattices

This page was built for publication: On algebras and varieties with semilattice reducts