Categorical abstract algebraic logic: skywatching in semilattice systems

DOI10.1093/JIGPAL/JZV052MaRDI QIDQ4644535zbMATH OpenOpenAlexFDO

Authors George Voutsadakis

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/ad2ada590101951c3f59b9710af03d56da4e9756

zbMATH Keywords

spectrasemilatticescloudsLeibniz operatorrainbowsalgebraic systemscongruence systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract algebraic logic (03G27)

Recommendations

• A note on congruences of semilattices with sectionally finite height.
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Categorical abstract algebraic logic: referential algebraic semantics

Cited in

(1)

• A note on congruences of semilattices with sectionally finite height.

This page was built for publication: Categorical abstract algebraic logic: skywatching in semilattice systems

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