Previous |  Up |  Next


Title: A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements (English)
Author: Havránek, Tomáš
Language: English
Journal: Kybernetika
ISSN: 0023-5954
Volume: 10
Issue: 1
Year: 1974
Pages: (13)-43
Category: math
MSC: 02B05
MSC: 03B05
MSC: 68Q45
MSC: 94A35
MSC: 94C10
idZBL: Zbl 0273.02008
idMR: MR0344030
Date available: 2009-09-24T16:37:19Z
Last updated: 2012-06-04
Stable URL:
Reference: [1] T. L. Booth: Sequential machines and automata theory.Wiley, London 1967. Zbl 0165.02303
Reference: [2] A. W. Burks J. B. Wright: Theory of logical nets.Proceedings of I.R.E. 41 (1953), 10, 1357-1365. MR 0062651
Reference: [3] A. Grzegorczyk: Outline of mathematical logic.(in Polish). 2nd ed., PWN, Warszawa 1969. MR 0655787
Reference: [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.
Reference: [5] N. E. Kobrinskij B. A. Trachtenbrot: Introduction to the theory of finite automata.North Holland, Amsterdam 1965. MR 0186454
Reference: [6] V. I. Levin: Probabilistic analysis of unreliable automata.(in Russian). Zinatne, Riga 1969.
Reference: [7] D. A. Pospelov: Probabilistic automata.(in Russian). Energiya, Moskva 1970. MR 0416806
Reference: [8] M. O. Rabin: Probabilistic automata.Information and control 6 (1963), 3, 230-245.
Reference: [9] T. Havránek: On a probabilistic extension of propositional calculus.(in Czech). Acta universitatis Carolinae, ser. Logica 1 (in print).
Reference: [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.
Reference: [11] T. Havránek: The computation of characteristic vectors of LP-expressions.To appear in Kybernetika.
Reference: [12] T. Havránek: The application of logical-probabilistic expressions to the realization of stochastical automata.To appear in Kybernetika. MR 0347494


Files Size Format View
Kybernetika_10-1974-1_2.pdf 1.844Mb application/pdf View/Open
Back to standard record
Partner of
EuDML logo