2024/04/20 by Celani, Sergio, Gruszczyński, Rafał, Menchón, Paula
#03G05 #6E25 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2404.13480
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 universal features of the "if..., then..." connective as strictly related to the unary modal necessity operator. To this end, we introduce a variety of conditional algebras, and we develop its duality and canonical extensions theory.