Geodesic
Statistical estimation of deducibility in polyadic algebras
Kybernetika, Tome 7 (1971) no. 3, pp. 181-200
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02G05, 03B35, 03G15 
@article{KYB_1971_7_3_a0,
     author = {Kramosil, Ivan},
     title = {Statistical estimation of deducibility in polyadic algebras},
     journal = {Kybernetika},
     pages = {181--200},
     year = {1971},
     volume = {7},
     number = {3},
     mrnumber = {0300881},
     zbl = {0216.29502},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1971_7_3_a0/}
}
TY  - JOUR
AU  - Kramosil, Ivan
TI  - Statistical estimation of deducibility in polyadic algebras
JO  - Kybernetika
PY  - 1971
SP  - 181
EP  - 200
VL  - 7
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/KYB_1971_7_3_a0/
LA  - en
ID  - KYB_1971_7_3_a0
ER  - 
%0 Journal Article
%A Kramosil, Ivan
%T Statistical estimation of deducibility in polyadic algebras
%J Kybernetika
%D 1971
%P 181-200
%V 7
%N 3
%U http://geodesic.mathdoc.fr/item/KYB_1971_7_3_a0/
%G en
%F KYB_1971_7_3_a0
Kramosil, Ivan. Statistical estimation of deducibility in polyadic algebras. Kybernetika, Tome 7 (1971) no. 3, pp. 181-200. http://geodesic.mathdoc.fr/item/KYB_1971_7_3_a0/

[1] A. Špaček: Statistical Estimation of Provability in Boolean Logics. In: Transactions of the Second Prague Conference on Information Theory, Prague 1959. Prague 1960, 609-626. | MR

[2] A. Špaček: Statistical Estimation of Semantic Provability. In: Proceedings of the Fifth Berkeley Symposium on Mathematical Statistics, 1960, vol. 1, 655-688. | MR

[3] P. R. Halmos: The basic concepts of algebraic logic. American Mathematical Monthly 53 (1956), 363-387. | MR | Zbl

[4] P. R. Halmos: Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta Mathematicae 43 (1956), 255 - 325. | MR

[5] P. R. Halmos: Algebraic Logic. Chelsea Publishing Company, New York 1962. | MR | Zbl

[6] A. Mostowski: Logika matematyczna. PWN, Warszawa-Wroclaw, 1948. | MR