Geodesic
$L_{ACP}^k>$ logic and completeness theorem
Kragujevac Journal of Mathematics, Tome 29 (2006), p. 99 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

To $L_{\mathbb{A}P}$ logic we add a new type of CP-quantifiers and prove the completeness theorem for new logic $L_{\mathbb{A}CP}^k$. The new axioms result from the condition probability introduced by Kolmogorov, which explains the "k" letter in the name of the new logic.
Classification : 03B48
Keywords: CP-quantifiers 
@article{KJM_2006_29_a9,
     author = {Vladimir Risti\'c},
     title = {$L_{ACP}^k>$ logic and completeness theorem},
     journal = {Kragujevac Journal of Mathematics},
     pages = {99 },
     publisher = {mathdoc},
     volume = {29},
     year = {2006},
     zbl = {1121.03030},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KJM_2006_29_a9/}
}
TY  - JOUR
AU  - Vladimir Ristić
TI  - $L_{ACP}^k>$ logic and completeness theorem
JO  - Kragujevac Journal of Mathematics
PY  - 2006
SP  - 99 
VL  - 29
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/KJM_2006_29_a9/
LA  - en
ID  - KJM_2006_29_a9
ER  - 
%0 Journal Article
%A Vladimir Ristić
%T $L_{ACP}^k>$ logic and completeness theorem
%J Kragujevac Journal of Mathematics
%D 2006
%P 99 
%V 29
%I mathdoc
%U http://geodesic.mathdoc.fr/item/KJM_2006_29_a9/
%G en
%F KJM_2006_29_a9
Vladimir Ristić. $L_{ACP}^k>$ logic and completeness theorem. Kragujevac Journal of Mathematics, Tome 29 (2006), p. 99 . http://geodesic.mathdoc.fr/item/KJM_2006_29_a9/