03 Mathematical logic and foundations
03Bxx General logic (1 articles)
03B05 Classical propositional logic (11 articles)
- : Propositional calculus proving methods in Prolog. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 29 (1990), issue 1, pp. 301-321
- : Speed-up for propositional Frege systems via generalizations of proofs. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 137-140
- : Three semantical interpretations of a statistical theoremhood testing procedure. (English). Kybernetika, vol. 18 (1982), issue 5, pp. 440-446
- : 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
- : An application of logical-probabilistic expressions to the realization of stochastic automata. (English). Kybernetika, vol. 10 (1974), issue 3, pp. (241)-257
- : The computation of characteristic vectors of logical-probabilistic expressions. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (80)-94
- : 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
- : Sur le premier système de Lukasiewicz. (French) [On the first system of Lukasiewicz]. Archivum Mathematicum, vol. 5 (1969), issue 4, pp. 207-214
- : 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
- : 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
- : 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
Search
Partner of
