Statistical testing procedure for lengths of formalized proofs
Kybernetika (1980)
- Volume: 16, Issue: 3, page (209)-224
- ISSN: 0023-5954
Access Full Article
top
How to cite
topKramosil, Ivan. "Statistical testing procedure for lengths of formalized proofs." Kybernetika 16.3 (1980): (209)-224. <http://eudml.org/doc/28274>.
@article{Kramosil1980,
author = {Kramosil, Ivan},
journal = {Kybernetika},
keywords = {lengths of formalized proofs; statistical testing; deducibility testing},
language = {eng},
number = {3},
pages = {(209)-224},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Statistical testing procedure for lengths of formalized proofs},
url = {http://eudml.org/doc/28274},
volume = {16},
year = {1980},
}
TY - JOUR
AU - Kramosil, Ivan
TI - Statistical testing procedure for lengths of formalized proofs
JO - Kybernetika
PY - 1980
PB - Institute of Information Theory and Automation AS CR
VL - 16
IS - 3
SP - (209)
EP - 224
LA - eng
KW - lengths of formalized proofs; statistical testing; deducibility testing
UR - http://eudml.org/doc/28274
ER -
References
top- I. Kramosil, Statistical Approach to Proof Theory, Supplement to Kybernetika, 15 (1979). (1979) Zbl0445.68068MR0562376
- J. Pavelka, On Fuzzy Logic I, II, III, To appear in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. MR0524558
- A. Špaček, Statistical Estimation of Provability in Boolean Logics, In: Transactions of the Second Prague Conference on Information Theory..., NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1960. (1960) MR0123477
- O. Štěpánková I. M. Havel, A Logical Theory of Robot Problem Solving, Artificial Intelligence 7 (1976), 129-161. (1976) MR0413627
- O. Štěpánková I. M. Havel, Incidental and State-Dependent Phenomena in Robot Problem Solving, Kybernetika 13 (1977), 6, 421-438. (1977) MR0468377
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.