Three semantical interpretations of a statistical theoremhood testing procedure

Ivan Kramosil

Kybernetika (1982)

  • Volume: 18, Issue: 5, page 440-446
  • ISSN: 0023-5954

How to cite

top

Kramosil, Ivan. "Three semantical interpretations of a statistical theoremhood testing procedure." Kybernetika 18.5 (1982): 440-446. <http://eudml.org/doc/29019>.

@article{Kramosil1982,
author = {Kramosil, Ivan},
journal = {Kybernetika},
keywords = {statistical deducibility testing procedure; propositional calculus; probabilistic algorithms; elementary disjunction},
language = {eng},
number = {5},
pages = {440-446},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Three semantical interpretations of a statistical theoremhood testing procedure},
url = {http://eudml.org/doc/29019},
volume = {18},
year = {1982},
}

TY - JOUR
AU - Kramosil, Ivan
TI - Three semantical interpretations of a statistical theoremhood testing procedure
JO - Kybernetika
PY - 1982
PB - Institute of Information Theory and Automation AS CR
VL - 18
IS - 5
SP - 440
EP - 446
LA - eng
KW - statistical deducibility testing procedure; propositional calculus; probabilistic algorithms; elementary disjunction
UR - http://eudml.org/doc/29019
ER -

References

top
  1. 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
  2. I. Kramosil, Statistical approach to proof theory, Supplement to Kybernetika 15 (1979), 98 pp. (1979) Zbl0445.68068MR0562376
  3. 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) 

NotesEmbed ?

top

You must be logged in to post comments.