Three semantical interpretations of a statistical theoremhood testing procedure
Kybernetika (1982)
- Volume: 18, Issue: 5, page 440-446
- ISSN: 0023-5954
Access Full Article
topHow to cite
topReferences
top- A. Špaček, Statistical estimation of provability in Boolean logics, In: Transactions of the Second Prague Conference on Information Theory, Statistical Decision Functions, Random Processes. NČSAV, Prague 1960, pp. 609-626. (1960) MR0123477
- I. Kramosil, Statistical approach to proof theory, Supplement to Kybernetika 15 (1979), 98 pp. (1979) Zbl0445.68068MR0562376
- I. Kramosil, Computational complexity of a statistical verification procedure for prepositional calculus, In: Third Czechoslovak-Soviet-Hungarian Seminar on Information Theory, institute of Information Theory and Automation, Czechoslovak Academy of Sciences, 1980, pp. 123-130. (1980)