$L_{\bbA P}^{\text{rat}}$ logic and Completeness Theorem


Vladimir,Ristić


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.