Conditional algebras

Abstract

Drawing on the classic paper by Chellas [8], 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.