A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements

Tomáš Havránek

Kybernetika (1974)

  • Volume: 10, Issue: 1, page (13)-43
  • ISSN: 0023-5954

How to cite

top

Havránek, Tomáš. "A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements." Kybernetika 10.1 (1974): (13)-43. <http://eudml.org/doc/28902>.

@article{Havránek1974,
author = {Havránek, Tomáš},
journal = {Kybernetika},
language = {eng},
number = {1},
pages = {(13)-43},
publisher = {Institute of Information Theory and Automation AS CR},
title = {A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements},
url = {http://eudml.org/doc/28902},
volume = {10},
year = {1974},
}

TY - JOUR
AU - Havránek, Tomáš
TI - A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements
JO - Kybernetika
PY - 1974
PB - Institute of Information Theory and Automation AS CR
VL - 10
IS - 1
SP - (13)
EP - 43
LA - eng
UR - http://eudml.org/doc/28902
ER -

References

top
  1. T. L. Booth, Sequential machines and automata theory, Wiley, London 1967. (1967) Zbl0165.02303
  2. A. W. Burks J. B. Wright, Theory of logical nets, Proceedings of I.R.E. 41 (1953), 10, 1357-1365. (1953) MR0062651
  3. A. Grzegorczyk, Outline of mathematical logic, (in Polish). 2nd ed., PWN, Warszawa 1969. (1969) MR0655787
  4. R. Knast, On some possibility of the structural synthesis of a probabilistic automaton, (in Polish). Prace Komisji budowy maszyn i elektrotechniki, torn 1.5, Poznań 1967. (1967) 
  5. N. E. Kobrinskij B. A. Trachtenbrot, Introduction to the theory of finite automata, North Holland, Amsterdam 1965. (1965) MR0186454
  6. V. I. Levin, Probabilistic analysis of unreliable automata, (in Russian). Zinatne, Riga 1969. (1969) 
  7. D. A. Pospelov, Probabilistic automata, (in Russian). Energiya, Moskva 1970. (1970) MR0416806
  8. M. O. Rabin, Probabilistic automata, Information and control 6 (1963), 3, 230-245. (1963) 
  9. T. Havránek, On a probabilistic extension of propositional calculus, (in Czech). Acta universitatis Carolinae, ser. Logica 1 (in print). 
  10. T. Havránek, A probabilistic extension of propositional calculus for purposes of structural theory of stochastical automata, (in Czech). Theses on the Department of Mathematical Statistic, Charles University, Prague 1972. (1972) 
  11. T. Havránek, The computation of characteristic vectors of LP-expressions, To appear in Kybernetika. 
  12. T. Havránek, The application of logical-probabilistic expressions to the realization of stochastical automata, To appear in Kybernetika. MR0347494

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.