Showing 2024 · math.LOShow all
2 papers · 2 filters
math.LO2024
Subresiduated Nelson Algebras
Noemí Lubomirsky, Paula Menchón, Hernán San Martín
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introd…
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…