Boolean algebras of conditionals, probability and logic

  title={Boolean algebras of conditionals, probability and logic},
  author={Tommaso Flaminio and Llu{\'i}s Godo and Hykel Hosni},

Figures from this paper

Canonical Extension of Possibility Measures to Boolean Algebras of Conditionals

This paper focuses on the possibilistic version of the Strong Conditional Event Problem, introduced for probabilities by Goodman and Nguyen, and solved in finitary terms in a recent paper by introducing the so-called Boolean algebras of conditionals.

Canonical Extensions of Conditional Probabilities and Compound Conditionals

. In this paper we show that the probability of conjunctions and disjunctions of conditionals in the recently introduced framework of Boolean algebras of conditionals are in full agreement with the

Compound Conditionals as Random Quantities and Boolean Algebras

This paper provides a natural procedure to explicitly attach conditional random quantities to arbitrary compound conditionals that also allows us to compute their previsions and pave the way to build a bridge between the long standing tradition of three-valued conditionals and a more recent proposal of looking at conditionals as elements from suitable Boolean algebras.

A fuzzy probability logic for compound conditionals

A fuzzy modal logic that allows to represent and reason about the probability of not only basic conditional expressions, but also compound conditional sentences such as “φ given ψ and γ given χ”, written (φ | ψ) ∧ (γ | χ), and more in general, any Boolean combination of basic ones is proposed.

Algebraic aspects and coherence conditions for conjoined and disjoined conditionals

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report-

This paper uses a very simple language with conditionals to explore a framework for probabilistic logic-based argumentation based on an extensive use of conditional probability, where uncertain and possibly inconsistent domain knowledge about a given scenario is represented as a set of defeasible rules quantified with conditional probabilities.

Interpreting Connexive Principles in Coherence-Based Probability Logic

We present probabilistic approaches to check the validity of selected connexive principles within the setting of coherence. Connexive logics emerged from the intuition that conditionals of the form

Certain and Uncertain Inference with Trivalent Conditionals

A (non-classical) account of the probability of conditionals, and two logics of conditional reasoning that provide a framework for conditional reasoning, gener-alize existing theories and yield an insightful analysis of the controversies about the validity of Modus Ponens, Import-Export and other principles of conditional logic.

Iterated Conditionals and Characterization of P-Entailment

The iterated conditional CpF2q|CpF1q, where F1 and F2 are two finite families of conditional events, is introduced, and some previous characterizations of p-entailment are deepened by showing that F p-ENTails a conditional event En`1|Hn`1 if and only if the iterate conditional pEn`1 |Hn `1q |C pFq is constant and equal to 1.



On Boolean Algebras of Conditionals and Their Logical Counterpart

The logic of Boolean conditionals (LBC) is introduced and its completeness is proved with respect to the natural semantics induced by the structural properties of the atoms in a conditional algebra.

Probability and Conditionals

The probability calculus is interpreted as a semantics for truth functional logic and conditional propositions are introduced as propositions whose absolute probability is equal to the conditional probability of the consequent on the antecedent.

An algebraic synthesis of the foundations of logic and probability

Conditional inference and logic for intelligent systems - a theory of measure-free conditioning

This book discusses thegebraic structure of Conditional Events, an abstraction of the space of conditional events, and the role of Boolean algebras and Lewis' triviality result in its development.

Stone Algebras, Conditional Events, and Three Valued Logic

  • E. Walker
  • Philosophy
    IEEE Trans. Syst. Man Cybern. Syst.
  • 1994
There are many ways to extend the operations on events to operations on conditional events, but it is shown that there is only one way to make such extensions so that the resulting structure is a bounded lattice extension of the space of events.

Conditional Objects as Nonmonotonic Consequence Relationships

This paper investigates the relationship between conditional objects obtained as a qualitative counterpart to conditional probabilities, and nonmonotonic reasoning, and proposes a logic of conditional objects that is more elementary and intuitive than the preferential semantics of Lehmann and colleagues and does not require probabilistic semantics.

Measure-Free Conditioning, Probability and Non-Monotonic Reasoning

It is shown that measure-free conditionals have the properties of well-behaved non-monotonic inference rules and can be useful to justify Cox's axiomatic framework for probability.

On the Algebraic Structure of Conditional Events

This paper investigates the construction of conditional algebras which allow us to distinguish between the logical properties of conditional events and those of the conditional measures which the authors can be attached to them.

Probabilistic Logic in a Coherent Setting

This paper presents a meta-analyses of Decomposable Measures of Uncertainty and their applications to Coherent Conditional Probability and Default Reasoning, and some of the implications of these studies are described.