Logics of varieties, logics of semilattices and conjunction

DOI10.1093/jigpal/jzu003zbMath1405.03103OpenAlexW2112729524MaRDI QIDQ4644494

Tommaso Moraschini, Josep Maria Font

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/b169eb3f1e00f708b0571d4d3b904710c9deb48f

zbMATH Keywords

semilatticeabstract algebraic logicLeibniz operatorconjunctiondisjunctionselfextensional logicrainbowsintrinsic varietylogics of semilatticeslogics of varietiessectionally finite height

Mathematics Subject Classification ID

Semilattices (06A12) Abstract algebraic logic (03G27)

Related Items (7)

A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ Abstract algebraic logic. An introductory chapter ⋮ Unnamed Item ⋮ Characterizing finite-valuedness ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE

This page was built for publication: Logics of varieties, logics of semilattices and conjunction