On Boolean Algebras of Conditionals and Their Logical Counterpart
This paper sheds a novel light on the longstanding problem of investigating the logic of conditional events. Building on the framework of Boolean algebras of conditionals previously introduced by the authors, we make two main new contributions. First, we fully characterise the atomic structure of these algebras of conditionals. Second, we introduce the logic of Boolean conditionals (LBC) and prove its completeness with respect to the natural semantics induced by the structural properties of the atoms in a conditional algebra as described in the first part. In addition we outline the close connection of LBC with preferential consequence relations, arguably one of the most appreciated systems of non-monotonic reasoning.
KeywordsConditionals events Uncertain reasoning Boolean algebra of conditionals Non-monotonic reasoning
We are thankful to the anonymous reviewers. Flaminio and Godo acknowledge partial support by the Spanish FEDER/MINECO project TIN2015-71799-C2-1-P.
- 3.Dubois, D., Prade, H.: Measure-free conditioning, probability and non-monotonic reasoning. In: Proceedings of IJCAI 1989, vol. 2, pp. 1110–1114 (1989)Google Scholar
- 7.Goodman, I.R., Nguyen, H.T., Walker, E.A.: Conditional Inference and Logic for Intelligent Systems - A Theory of Measure-free Conditioning. North-Holland, Amsterdam (1991)Google Scholar
- 12.Makinson, D.: Conditional probability in the light of qualitative belief change. In: Hosni, H., Montagna, F. (eds.) Probability, Uncertainty and Rationality. Edizioni della Normale (2010)Google Scholar