Geodesic
A Probabilistic Validity Measure in Intuitionistic Propositional Logic
Mathematica balkanica, Tome 10 (1996) no. 4, p. 365.

Voir la notice de l'article provenant de la source Mathematicac Balkanica website

@article{MABA_1996_10_4_a5,
     author = {B. Boricich and M. Rashkovich},
     title = {A {Probabilistic} {Validity} {Measure} in {Intuitionistic} {Propositional} {Logic}},
     journal = {Mathematica balkanica},
     pages = {365},
     publisher = {mathdoc},
     volume = {10},
     number = {4},
     year = {1996},
     url = {http://geodesic.mathdoc.fr/item/MABA_1996_10_4_a5/}
}
TY  - JOUR
AU  - B. Boricich
AU  - M. Rashkovich
TI  - A Probabilistic Validity Measure in Intuitionistic Propositional Logic
JO  - Mathematica balkanica
PY  - 1996
SP  - 365
VL  - 10
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MABA_1996_10_4_a5/
ID  - MABA_1996_10_4_a5
ER  - 
%0 Journal Article
%A B. Boricich
%A M. Rashkovich
%T A Probabilistic Validity Measure in Intuitionistic Propositional Logic
%J Mathematica balkanica
%D 1996
%P 365
%V 10
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MABA_1996_10_4_a5/
%F MABA_1996_10_4_a5
B. Boricich; M. Rashkovich. A Probabilistic Validity Measure in Intuitionistic Propositional Logic. Mathematica balkanica, Tome 10 (1996) no. 4, p. 365. http://geodesic.mathdoc.fr/item/MABA_1996_10_4_a5/