Geodesic
Inference Rules for Probability Logic
Publications de l'Institut Mathématique, _N_S_100 (2016) no. 114, p. 77 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Gentzen's and Prawitz's approach to deductive systems, and Carnap's and Popper's treatment of probability in logic were two fruitful ideas of logic in the mid-twentieth century. By combining these two concepts, the notion of sentence probability, and the deduction relation formalized by means of inference rules, we introduce a system of inference rules based on the traditional proof-theoretic principles enabling to work with each form of probabilized propositional formulae. Namely, for each propositional connective, we define at least one introduction and one elimination rule, over the formulae of the form $A[a,b]$ with the intended meaning that 'the probability $c$ of truthfulness of a sentence $A$ belongs to the interval $[a,b]\subseteq[0,1]$'. It is shown that our system is sound and complete with respect to the Carnap--Poper-type probability models.
DOI : 10.2298/PIM1614077B
Classification : 03B48, 03B50, 03B05
Keywords: consistency, inference rules, probability, soundness, completeness 
@article{10_2298_PIM1614077B,
     author = {Marija Bori\v{c}i\'c},
     title = {Inference {Rules} for {Probability} {Logic}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {77 },
     publisher = {mathdoc},
     volume = {_N_S_100},
     number = {114},
     year = {2016},
     doi = {10.2298/PIM1614077B},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.2298/PIM1614077B/}
}
TY  - JOUR
AU  - Marija Boričić
TI  - Inference Rules for Probability Logic
JO  - Publications de l'Institut Mathématique
PY  - 2016
SP  - 77 
VL  - _N_S_100
IS  - 114
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.2298/PIM1614077B/
DO  - 10.2298/PIM1614077B
LA  - en
ID  - 10_2298_PIM1614077B
ER  - 
%0 Journal Article
%A Marija Boričić
%T Inference Rules for Probability Logic
%J Publications de l'Institut Mathématique
%D 2016
%P 77 
%V _N_S_100
%N 114
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.2298/PIM1614077B/
%R 10.2298/PIM1614077B
%G en
%F 10_2298_PIM1614077B
Marija Boričić. Inference Rules for Probability Logic. Publications de l'Institut Mathématique, _N_S_100 (2016) no. 114, p. 77 . doi : 10.2298/PIM1614077B. http://geodesic.mathdoc.fr/articles/10.2298/PIM1614077B/

Cité par Sources :