A Probabilistic Validity Measure in Intuitionistic Propositional Logic
Mathematica balkanica, Tome 10 (1996) no. 4, p. 365
Cet article a éte moissonné depuis 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},
year = {1996},
volume = {10},
number = {4},
url = {http://geodesic.mathdoc.fr/item/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/