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  -