Categorical abstract algebraic logic: skywatching in semilattice systems

DOI10.1093/jigpal/jzv052zbMath1405.03105OpenAlexW2305563808MaRDI QIDQ4644535

George Voutsadakis

Publication date: 8 January 2019

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

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

zbMATH Keywords

cloudsLeibniz operatorsemilatticesspectraalgebraic systemsrainbowscongruence systems

Mathematics Subject Classification ID

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

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