DeepAI AI Chat
Log In Sign Up

Extension of Boolean algebra by a Bayesian operator; application to the definition of a Deterministic Bayesian Logic

by   Frederic Dambreville, et al.

This work contributes to the domains of Boolean algebra and of Bayesian probability, by proposing an algebraic extension of Boolean algebras, which implements an operator for the Bayesian conditional inference and is closed under this operator. It is known since the work of Lewis (Lewis' triviality) that it is not possible to construct such conditional operator within the space of events. Nevertheless, this work proposes an answer which complements Lewis' triviality, by the construction of a conditional operator outside the space of events, thus resulting in an algebraic extension. In particular, it is proved that any probability defined on a Boolean algebra may be extended to its algebraic extension in compliance with the multiplicative definition of the conditional probability. In the last part of this paper, a new bivalent logic is introduced on the basis of this algebraic extension, and basic properties are derived.


page 1

page 2

page 3

page 4


Boolean algebras of conditionals, probability and logic

This paper presents an investigation on the structure of conditional eve...

About a 'concrete' Rauszer Boolean algebra generated by a preorder

Inspired by the fundamental results obtained by P. Halmos and A. Monteir...

First-Order logic and its Infinitary Quantifier Extensions over Countable Words

We contribute to the refined understanding of the language-logic-algebra...

Embedding Kozen-Tiuryn Logic into Residuated One-Sorted Kleene Algebra with Tests

Kozen and Tiuryn have introduced the substructural logic 𝖲 for reasoning...

A Measure-Free Approach to Conditioning

In an earlier paper, a new theory of measurefree "conditional" objects w...

Weihrauch goes Brouwerian

We prove that the Weihrauch lattice can be transformed into a Brouwer al...

An Overview of Recent Developments in Big Boolean Equations

Methods of solving big Boolean equations can be broadly classified as al...