$L_{\bbA P}^{\text{rat}}$ logic and Completeness Theorem
Kragujevac Journal of Mathematics, Tome 32 (2009), p. 149
Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
Zbl
To the list of axioms of $L_{\bbA P}$ logic is added axiom which will provide that measures on probability models have only rational values of $[0,1]$ interval. Completeness Theorem is proved.
Vladimir Ristić. $L_{\bbA P}^{\text{rat}}$ logic and Completeness Theorem. Kragujevac Journal of Mathematics, Tome 32 (2009), p. 149 . http://geodesic.mathdoc.fr/item/KJM_2009_32_a14/
@article{KJM_2009_32_a14,
author = {Vladimir Risti\'c},
title = {$L_{\bbA P}^{\text{rat}}$ logic and {Completeness} {Theorem}},
journal = {Kragujevac Journal of Mathematics},
pages = {149 },
year = {2009},
volume = {32},
zbl = {1224.03006},
language = {en},
url = {http://geodesic.mathdoc.fr/item/KJM_2009_32_a14/}
}