Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Conditional algebras
Sergio Celani, Rafał Gruszczyński, Paula Menchón
Drawing on the classic paper by Chellas "Basic conditional logic" (1975), we propose a general algebraic framework for studying a binary operation of conditional that models univer…
math.LO2023
Bounded distributive lattices with strict implication and weak difference
Sergio Celani, Agustín Nagy, William Zuluaga Botero
In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces…