Geodesic
Classical Logic With Some Probability Operators
Publications de l'Institut Mathématique, _N_S_53 (1993) no. 67, p. 1

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

We introduce a conservative extension of classical predicate (propositional) logic and prove corresponding completeness (and decidability) theorem.
Classification : 03B48 03C80 
@article{PIM_1993_N_S_53_67_a0,
     author = {Miodrag Ra\v{s}kovi\'c},
     title = {Classical {Logic} {With} {Some} {Probability} {Operators}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {1 },
     publisher = {mathdoc},
     volume = {_N_S_53},
     number = {67},
     year = {1993},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_1993_N_S_53_67_a0/}
}
TY  - JOUR
AU  - Miodrag Rašković
TI  - Classical Logic With Some Probability Operators
JO  - Publications de l'Institut Mathématique
PY  - 1993
SP  - 1 
VL  - _N_S_53
IS  - 67
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_1993_N_S_53_67_a0/
LA  - en
ID  - PIM_1993_N_S_53_67_a0
ER  - 
%0 Journal Article
%A Miodrag Rašković
%T Classical Logic With Some Probability Operators
%J Publications de l'Institut Mathématique
%D 1993
%P 1 
%V _N_S_53
%N 67
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_1993_N_S_53_67_a0/
%G en
%F PIM_1993_N_S_53_67_a0
Miodrag Rašković. Classical Logic With Some Probability Operators. Publications de l'Institut Mathématique, _N_S_53 (1993) no. 67, p. 1 . http://geodesic.mathdoc.fr/item/PIM_1993_N_S_53_67_a0/