Geodesic
A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements
Kybernetika, Tome 10 (1974) no. 1, pp. 13-43 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02B05, 03B05, 68Q45, 94A35, 94C10 
@article{KYB_1974_10_1_a1,
     author = {Havr\'anek, Tom\'a\v{s}},
     title = {A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements},
     journal = {Kybernetika},
     pages = {13--43},
     year = {1974},
     volume = {10},
     number = {1},
     mrnumber = {0344030},
     zbl = {0273.02008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1974_10_1_a1/}
}
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
SP  - 13
EP  - 43
VL  - 10
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/KYB_1974_10_1_a1/
LA  - en
ID  - KYB_1974_10_1_a1
ER  - 
%0 Journal Article
%A Havránek, Tomáš
%T A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements
%J Kybernetika
%D 1974
%P 13-43
%V 10
%N 1
%U http://geodesic.mathdoc.fr/item/KYB_1974_10_1_a1/
%G en
%F KYB_1974_10_1_a1
Havránek, Tomáš. A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements. Kybernetika, Tome 10 (1974) no. 1, pp. 13-43. http://geodesic.mathdoc.fr/item/KYB_1974_10_1_a1/

[1] T. L. Booth: Sequential machines and automata theory. Wiley, London 1967. | Zbl

[2] A. W. Burks J. B. Wright: Theory of logical nets. Proceedings of I.R.E. 41 (1953), 10, 1357-1365. | MR

[3] A. Grzegorczyk: Outline of mathematical logic. (in Polish). 2nd ed., PWN, Warszawa 1969. | MR

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

[5] N. E. Kobrinskij B. A. Trachtenbrot: Introduction to the theory of finite automata. North Holland, Amsterdam 1965. | MR

[6] V. I. Levin: Probabilistic analysis of unreliable automata. (in Russian). Zinatne, Riga 1969.

[7] D. A. Pospelov: Probabilistic automata. (in Russian). Energiya, Moskva 1970. | MR

[8] M. O. Rabin: Probabilistic automata. Information and control 6 (1963), 3, 230-245.

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

[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. | MR