Author: Mleziva, Miroslav
- : Semantics based on states of affairs. (English). Kybernetika, vol. 11 (1975), issue 5, pp. (319)-335
- : States of affairs as values for formulas. (English). Kybernetika, vol. 11 (1975), issue 1, pp. (3)-25
- : K axiomatisaci trojhodnotové výrokové logiky. (Czech) [On the axiomatization of three-valued propositional logic]. Časopis pro pěstování matematiky, vol. 86 (1961), issue 4, pp. 392-403
- : K teorii konečných automatů (neuronových sítí). (Czech) [On the theory of finite automata (neural networks)]. Pokroky matematiky, fyziky a astronomie, vol. 5 (1960), issue 6, pp. 643-668
- : Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz. (German) [The independence of Hermes-Scholz axiomatic system of propositional calculus]. Časopis pro pěstování matematiky, vol. 84 (1959), issue 4, pp. 454-460
Search
Partner of
