Ruzicka, Milan Formalized models of ontological systems. (English) Zbl 0505.93006 Kybernetika 18, 545-554 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 93A10 General systems 68Q55 Semantics in the theory of computing 68U20 Simulation (MSC2010) 03B65 Logic of natural languages 68Q45 Formal languages and automata Keywords:ontological systems; formalized models PDFBibTeX XMLCite \textit{M. Ruzicka}, Kybernetika 18, 545--554 (1982; Zbl 0505.93006) Full Text: EuDML References: [1] J. Beneš: Teorie systémů. Academia. Praha 1974. [2] J. Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976. [3] J. B. Novik: O modelirovanii složnych sistem. Moskva 1972. [4] R. Bek M. Růžička: On modelling of large variable systems of higher order by means of language systems. Kybernetika 15 (1979), 6, 408-418. [5] M. Růžička: Some fundamental notions of large variable systems. Kybernetika 17 (1981), 5, 435-450. [6] M. Růžička: Input-output systems, their types and applications for the automata theory. Kybernetika 18 (1982), 2, 131 - 144. [7] R. Bek: Logika pro kurs automatizovaných systémů. ČVUT, Praha 1976. This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.