• DML-CZ Home

03B05 Classical propositional logic (12 articles)

• Šolcová, Alena: Několik cest k minimalizaci výrokových forem. (Czech) [Several ways to the minimization of propositional forms]. Pokroky matematiky, fyziky a astronomie, vol. 59 (2014), issue 3, pp. 246-250
• Štěpán, Jan: Propositional calculus proving methods in Prolog. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 29 (1990), issue 1, pp. 301-321
• Krajíček, Jan: Speed-up for propositional Frege systems via generalizations of proofs. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 137-140
• Kramosil, Ivan: Three semantical interpretations of a statistical theoremhood testing procedure. (English). Kybernetika, vol. 18 (1982), issue 5, pp. 440-446
• Kramosil, Ivan: Computational complexity of a statistical theoremhood testing procedure for propositional calculus with pseudo-random inputs. (English). Kybernetika, vol. 17 (1981), issue 5, pp. 359-367
• Havránek, Tomáš: An application of logical-probabilistic expressions to the realization of stochastic automata. (English). Kybernetika, vol. 10 (1974), issue 3, pp. (241)-257
• Havránek, Tomáš: The computation of characteristic vectors of logical-probabilistic expressions. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (80)-94
• Havránek, Tomáš: A generalization of the propositional calculus for purposes of the theory of logical nets with probabilistic elements. (English). Kybernetika, vol. 10 (1974), issue 1, pp. (13)-43
• Sade, A.: Sur le premier système de Lukasiewicz. (French) [On the first system of Lukasiewicz]. Archivum Mathematicum, vol. 5 (1969), issue 4, pp. 207-214
• Hájek, Petr: Problém obecného pojetí metody GUHA. (Czech) [The problem of a general conception of the GUHA method]. Kybernetika, vol. 4 (1968), issue 6, pp. (505)-515
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. II. (Czech) [The GUHA method of systematical hypotheses searching. II]. Kybernetika, vol. 3 (1967), issue 5, pp. (430)-437
• Hájek, Petr; Havel, Ivan; Chytil, Metoděj: GUHA - metoda systematického vyhledávání hypotéz. (Czech) [GUHA - the method of systematical hypotheses searching]. Kybernetika, vol. 2 (1966), issue 1, pp. (31)-47