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

Zbl
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 
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/
@article{KJM_2006_29_a9,
     author = {Vladimir Risti\'c},
     title = {$L_{ACP}^k>$ logic and completeness theorem},
     journal = {Kragujevac Journal of Mathematics},
     pages = {99 },
     year = {2006},
     volume = {29},
     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
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
%U http://geodesic.mathdoc.fr/item/KJM_2006_29_a9/
%G en
%F KJM_2006_29_a9