• DML-CZ Home

68T15 Theorem proving (deduction, resolution, etc.) (34 articles)

• Braitt, Milton; Hobby, David; Silberger, Donald: Antiassociative groupoids. (English). Mathematica Bohemica, vol. 142 (2017), issue 1, pp. 27-46
• Hliněná, Dana; Biba, Vladislav: Evaluating many valued modus ponens. (English). Kybernetika, vol. 48 (2012), issue 3, pp. 465-477
• Araújo, João; Kinyon, Michael: Independent axiom systems for nearlattices. (English). Czechoslovak Mathematical Journal, vol. 61 (2011), issue 4, pp. 975-992
• Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas: Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 49 (2008), issue 2, pp. 319-339
• Stanovský, David: Distributive groupoids are symmetric-by-medial: An elementary proof. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 49 (2008), issue 4, pp. 541-546
• Martínez, J.; Cordero, P.; Gutiérrez, G.; Guzmán, I. P. de: Restricted ideals and the groupability property. Tools for temporal reasoning. (English). Kybernetika, vol. 39 (2003), issue 5, pp. [521]-546
• Case, John; Jain, Sanjay; Ngo Manguelle, Suzanne: Refinements of inductive inference by Popperian and reliable machines. (English). Kybernetika, vol. 30 (1994), issue 1, pp. 23-52
• Tuza, Zsolt: Theorem proving through depth-first test. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 33 (1992), issue 2, pp. 135-141
• Štěpán, Jan: Automated theorem proving in monadic predicate calculus. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 30 (1991), issue 1, pp. 273-283
• Š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
• Pudlák, Pavel: On a unification problem related to Kreisel's conjecture. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 551-556
• Šebelík, Jan: Horn clause programs and recursive functions defined by systems of equations. (English). Kybernetika, vol. 18 (1982), issue 2, pp. 106-120
• 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
• Lukavcová, Milena: On computable real functions. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (240)-247
• Kramosil, Ivan: Statistical testing procedure for lengths of formalized proofs. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (209)-224
• Šindelář, Jan: Statistical theory of logical derivability. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (225)-239
• Kramosil, Ivan: Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
• Kramosil, Ivan; Šindelář, Jan: Statistical deducibility testing with stochastic parameters. (English). Kybernetika, vol. 14 (1978), issue 6, pp. (385)-396
• Havel, Ivan M.; Kramosil, Ivan: A stochastic approach to robot plan formation. (English). Kybernetika, vol. 14 (1978), issue 3, pp. (143)-173
• Štěpánková, Olga; Havel, Ivan M.: Incidental and state-dependent phenomena in robot problem solving. (English). Kybernetika, vol. 13 (1977), issue 6, pp. (421)-438
• Rauch, Jan: Ein Beitrag zu der GUHA Methode in der dreiwertigen Logik. (German) [A remark to the GUHA method in the three-valued logic]. Kybernetika, vol. 11 (1975), issue 2, pp. (101)-113
• Kramosil, Ivan: A probabilistic approach to automaton-environment systems. (English). Kybernetika, vol. 11 (1975), issue 3, pp. (173)-206
• Hájek, Petr: Automatic listing of important observational statements. III. (English). Kybernetika, vol. 10 (1974), issue 2, pp. (95)-124
• Havel, Ivan M.: Finite branching automata. (English). Kybernetika, vol. 10 (1974), issue 4, pp. (281)-302
• Kramosil, Ivan; Zwinogrodzki, Zbigniew: Statistical methods for comparing theorem proving algorithms. (English). Kybernetika, vol. 10 (1974), issue 3, pp. (221)-240
• Hájek, Petr: Automatic listing of important observational statements. I. (English). Kybernetika, vol. 9 (1973), issue 3, pp. (187)-205
• Hájek, Petr: Automatic listing of important observational statements. II. (English). Kybernetika, vol. 9 (1973), issue 4, pp. (251)-271
• Hájek, Petr; Bendová, Kamila; Renc, Zdeněk: The GUHA method and the three-valued logic. (English). Kybernetika, vol. 7 (1971), issue 6, pp. (421)-435
• Pugachev, V. S.: Optimal learning systems. (English). Kybernetika, vol. 7 (1971), issue 5, pp. (347)-376
• Havránek, Tomáš: The statistical interpretation and modification of GUHA method. (English). Kybernetika, vol. 7 (1971), issue 1, pp. (13)-21
• 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