Results 261 to 270 of about 68,974 (308)

Intuitionistic propositional probability logic [PDF]

Mathematical Logic Quarterly, 2022
AbstractWe give a sound and complete axiomatization of a probabilistic extension of intuitionistic logic. Reasoning with probability operators is also intuitionistic (in contradistinction to other works on this topic), i.e., measure functions used for modeling probability operators are partial functions. Finally, we present a decision procedure for our
Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic   +2 more
openaire   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Logic and Probability

The British Journal for the Philosophy of Science, 1997
Summary: This paper argues that Ramsey's view of the calculus of subjective probabilities as, in effect, logical axioms is the correct view, with powerful heuristic value. This heuristic value is seen particularly in the analysis of the role of conditionalization in the Bayesian theory, where a semantic criterion of synchronic coherence is employed as ...
openaire   +1 more source

Probability logic

Journal of Symbolic Logic, 1969
In this paper we introduce a system S5U, formed by adding to the modal system S5 a new connective U, Up being read “probably”. A few theorems are derived in S5U, and the system is provided with a decision procedure.
openaire   +2 more sources

Probability logic, logical probability, and inductive support

Synthese, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Exchangeability in Probability Logic

2012
The paper investigates exchangeability in the context of probability logic. We study generalizations of basic inference rules and inferences involving cardinalities. We compare the results with those obtained in the case in which only identical probabilities are assumed.
Christian Wallmann, Gernot D. Kleiter
openaire   +1 more source

Logic and Probability

1981
I have been asked to give a survey of the various connections between logic and probability. As I am included in the section on logic and its relation to other parts of mathematics I will not enter into a discussion of ‘inductive logic’ and the foundation of statistical inference, but restrict myself to questions more ‘mathematical’ in nature. However,
openaire   +2 more sources

A Logic with Conditional Probabilities

2004
The paper presents a logic which enriches propositional calculus with three classes of probabilistic operators which are applied to propositional formulas: P ≥ s(α), CP = s(α, β) and CP ≥ s (α, β), with the intended meaning ”the probability of α is at least s”, ”the conditional probability of α given β is s”, and ”the conditional probability of α given
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic   +2 more
openaire   +1 more source

Unifying logic and probability

Communications of the ACM, 2015
Open-universe probability models show merit in unifying efforts.
openaire   +1 more source

Complexity of Fuzzy Probability Logics

Fundamenta Informaticae, 2001
The satisfiability problem for the logic FP(Ł) (fuzzy probability logic over Łukasiewicz logic) is shown to be NP-complete; satisfiability in FP(ŁΠ) (the same over the logic joining Łukasiewicz and product logic) is shown to be in PSPACE.
Petr Hájek 0001, Sauro Tulipani
openaire   +3 more sources

Resurrecting Logical Probability

Erkenntnis, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source