On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle

DOI10.1016/j.artint.2024.104229MaRDI QIDQ6665703

David E. Over, Giuseppe Sanfilippo, Angelo Gilio, Niki Pfeifer

Publication date: 17 January 2025

Published in: Artificial Intelligence (Search for Journal in Brave)

coherence inference rules trivalent logics conditional random quantities probabilistic entailment betting schemes levels of knowledge compound and iterated conditionals Aristotelian syllogisms general import-export principle probabilistic weak deduction theorems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Tolerant, classical, strict
The psychology of inferring conditionals from disjunctions: a probabilistic study
Quasi conjunction, quasi disjunction, t-norms and t-conorms: probabilistic aspects
A map of dependencies among three-valued logics
Envelopes of conditional probabilities extending a strategy and a prior probability
Conditional random quantities and compounds of conditionals
Coherent qualitative probability
Conditional logic of actions and causation
Probabilistic logic under coherence: complexity and algorithms
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity
The logic of conditional negation
Philosophical lectures on probability. Collected, edited, and annotated by Alberto Mura. With an introductory essay by Maria Carla Galavotti. Transl. by Hykel Hosni
Conditionals right and left: probabilities for the whole family
An algebraic synthesis of the foundations of logic and probability
Nonmonotonic reasoning, preferential models and cumulative logics
Rationality, transitivity, and contraposition
What does a conditional knowledge base entail?
Material implication, confirmation, and counterfactuals
The logic of conditionals. An application of probability to deductive logic
Nonmonotonic reasoning, conditional objects and possibility theory
Probabilistic reasoning under coherence in System P
Probabilistic inferences from conjoined to iterated conditionals
Deduction with uncertain conditionals
A puzzle about Stalnaker's hypothesis
Probabilistic entailment in the setting of coherence: the role of quasi conjunction and inclusion relation
Revisiting McGee's probabilistic analysis of conditionals
Iterated conditionals and characterization of P-entailment
Interpreting connexive principles in coherence-based probability logic
Probabilities of conditionals and previsions of iterated conditionals
Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
Boolean algebras of conditionals, probability and logic
Compound conditionals, Fréchet-Hoeffding bounds, and Frank \(t\)-norms
Deciding Koopman's qualitative probability
On the logical structure of de Finetti's notion of event
Dutch book rationality conditions for conditional preferences under ambiguity
The logic of qualitative probability
Framing human inference by coherence based probability logic
Generalized probabilistic modus ponens
Probabilistic squares and hexagons of opposition under coherence
Statistical reasoning with set-valued information: ontic vs. epistemic views
Transitivity in coherence-based probability logic
Conjunction, Disjunction and Iterated Conditioning of Conditional Events
Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
Relationships between Connectives in Three-Valued Logics
Possibilistic and Probabilistic Logic under Coherence: Default Reasoning and System P
Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
Sul significato soggettivo della probabilità
Bruno de Finetti and the Logic of Conditional Events
Conditional Random Quantities and Iterated Conditioning in the Setting of Coherence
A history and introduction to the algebra of conditional events and probability logic
Conditional objects as nonmonotonic consequence relationships
Coherent numerical and ordinal probabilistic assessments
Conditionals, Information, and Inference
Intuitive Probability on Finite Sets
On notation for ordinal numbers
A partial account of presupposition projection
``If and ``Imply.
Counterfactuals as modal conditionals, and their probability
The Deduction Theorem (Before and After Herbrand)
Syntactic reasoning with conditional probabilities in deductive argumentation
Lower and upper probability bounds for some conjunctions of two conditional events
A further step for efficient corrections of inconsistent probabilistic data sets
On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals
Connexive logic, probabilistic default reasoning, and compound conditionals
A probabilistic analysis of selected notions of iterated conditioning under coherence
Consequences of the minimum specificity principle on conditioning and on independence in possibility theory
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
Situated conditional reasoning
Probability propagation rules for Aristotelian syllogisms
Representations of uncertainty in artificial intelligence: probability and possibility

This page was built for publication: On trivalent logics, probabilistic weak deduction theorems, and a general import-export principle