Categorical abstract algebraic logic: skywatching in semilattice systems

DOI10.1093/JIGPAL/JZV052zbMATH Open1405.03105OpenAlexW2305563808MaRDI QIDQ4644535FDOQ4644535

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

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

zbMATH Keywords

spectrasemilatticescloudsLeibniz operatorrainbowsalgebraic systemscongruence systems

Mathematics Subject Classification ID

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

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)