Statistical deducibility testing with stochastic parameters

Ivan Kramosil; Jan Šindelář

Kybernetika (1978)

  • Volume: 14, Issue: 6, page (385)-396
  • ISSN: 0023-5954

How to cite

top

Kramosil, Ivan, and Šindelář, Jan. "Statistical deducibility testing with stochastic parameters." Kybernetika 14.6 (1978): (385)-396. <http://eudml.org/doc/27425>.

@article{Kramosil1978,
author = {Kramosil, Ivan, Šindelář, Jan},
journal = {Kybernetika},
keywords = {Deducibility Problem; Formalized Theory; Decision Problem; Parametric Test; Simple Hypothesis; Logic; Automated Theorem-Proving},
language = {eng},
number = {6},
pages = {(385)-396},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Statistical deducibility testing with stochastic parameters},
url = {http://eudml.org/doc/27425},
volume = {14},
year = {1978},
}

TY - JOUR
AU - Kramosil, Ivan
AU - Šindelář, Jan
TI - Statistical deducibility testing with stochastic parameters
JO - Kybernetika
PY - 1978
PB - Institute of Information Theory and Automation AS CR
VL - 14
IS - 6
SP - (385)
EP - 396
LA - eng
KW - Deducibility Problem; Formalized Theory; Decision Problem; Parametric Test; Simple Hypothesis; Logic; Automated Theorem-Proving
UR - http://eudml.org/doc/27425
ER -

References

top
  1. V. Fabian, Základní statistické metody, NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1963. (1963) MR0170406
  2. J. Janko, Statistické tabulky, NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1958. (1958) MR0150924
  3. I. Kramosil, Statistical Estimation of Deducibility in Polyadic Algebras, Kybernetika 7 (1971), 3, 181-200. (1971) Zbl0216.29502MR0300881
  4. I. Kramosil, A Method for Statistical Testing of an at Random Sampled Formula, Kybernetika 9 (1973), 3, 162-173. (1973) Zbl0275.02018MR0343415
  5. E. L. Lehman, Testing Statistical Hypotheses, John Wiley and Sons, New York, Chapman and Hall, London 1960 (Russian translation: „Nauka", Moscow 1964). (1960) MR0852406
  6. J. Šindelář, Některé možnosti použití metody Monte-Carlo ve statistické teorii odvoditelnosti, Institute of Information Theory and Automation, Research Rep. No. 803, 1977. (1977) 
  7. A. Špaček, Statistical Estimation of Provability in Boolean Logics, In: Transactions of the Second Prague Conference on Information Theory, Prague 1959. NČSAV (Publishing House of the Czechoslovak Academy of Sciences), Prague 1960. (1959) MR0123477
  8. A. Wald, Statistical Decision Functions, John Wiley and Sons, New York 1950. (1950) Zbl0040.36402MR0036976
  9. A. Wald, Sequential Analysis, John Wiley and Sons, New York 1947 (Russian translation: ,,Nauka", Moscow, 1960). (1947) Zbl0041.26303MR0020764

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.