A note on congruences of semilattices with sectionally finite height.

DOI10.1007/s00012-014-0300-5zbMath1319.06004OpenAlexW2052873366MaRDI QIDQ471164

Josep Maria Font, Tommaso Moraschini

Publication date: 14 November 2014

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

Full work available at URL: https://doi.org/10.1007/s00012-014-0300-5

zbMATH Keywords

cloudsabstract algebraic logicLeibniz operatorcongruences of semilatticesmeet semilattices of sectionally finite heightrainbows

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Semilattices (06A12) Abstract algebraic logic (03G27)

Related Items

A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

Cites Work

• Update to ``A survey of abstract algebraic logic
• Algebraic logic for classical conjunction and disjunction
• Lattice Theory: Foundation
• Algebraizable logics
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on congruences of semilattices with sectionally finite height.