Statistical estimation of deducibility in polyadic algebras
Kybernetika (1971)
- Volume: 07, Issue: 3, page (181)-200
- ISSN: 0023-5954
Access Full Article
top
How to cite
topKramosil, Ivan. "Statistical estimation of deducibility in polyadic algebras." Kybernetika 07.3 (1971): (181)-200. <http://eudml.org/doc/28892>.
@article{Kramosil1971,
author = {Kramosil, Ivan},
journal = {Kybernetika},
language = {eng},
number = {3},
pages = {(181)-200},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Statistical estimation of deducibility in polyadic algebras},
url = {http://eudml.org/doc/28892},
volume = {07},
year = {1971},
}
TY - JOUR
AU - Kramosil, Ivan
TI - Statistical estimation of deducibility in polyadic algebras
JO - Kybernetika
PY - 1971
PB - Institute of Information Theory and Automation AS CR
VL - 07
IS - 3
SP - (181)
EP - 200
LA - eng
UR - http://eudml.org/doc/28892
ER -
References
top- 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. (1959) MR0123477
- A. Špaček, Statistical Estimation of Semantic Provability, In: Proceedings of the Fifth Berkeley Symposium on Mathematical Statistics, 1960, vol. 1, 655-688. (1960) MR0136538
- P. R. Halmos, The basic concepts of algebraic logic, American Mathematical Monthly 53 (1956), 363-387. (1956) Zbl0070.24506MR0086028
- P. R. Halmos, Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree, Fundamenta Mathematicae 43 (1956), 255 - 325. (1956) MR0086029
- P. R. Halmos, Algebraic Logic, Chelsea Publishing Company, New York 1962. (1962) Zbl0101.01101MR0131961
- A. Mostowski, Logika matematyczna, PWN, Warszawa-Wroclaw, 1948. (1948) MR0026972
Citations in EuDML Documents
top- Ivan Kramosil, Jan Šindelář, Statistical deducibility testing with stochastic parameters
- Ivan Kramosil, A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
- Ivan Kramosil, A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
- Ivan Kramosil, Zbigniew Zwinogrodzki, Statistical methods for comparing theorem proving algorithms
- Ivan Kramosil, Statistical approach to proof theory
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.