03 Mathematical logic and foundations
03Bxx General logic (1 articles)
03B35 Mechanization of proofs and logical operations (12 articles)
- : Distributive groupoids are symmetric-by-medial: An elementary proof. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 49 (2008), issue 4, pp. 541-546
- : On sequent calculi for intuitionistic propositional logic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 1, pp. 159-173
- : Restricted ideals and the groupability property. Tools for temporal reasoning. (English). Kybernetika, vol. 39 (2003), issue 5, pp. [521]-546
- : Automated theorem proving in monadic predicate calculus. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 30 (1991), issue 1, pp. 273-283
- : Propositional calculus proving methods in Prolog. (English). Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica, vol. 29 (1990), issue 1, pp. 301-321
- : On a unification problem related to Kreisel's conjecture. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 551-556
- : 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
- : Statistical testing procedure for lengths of formalized proofs. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (209)-224
- : Statistical theory of logical derivability. (English). Kybernetika, vol. 16 (1980), issue 3, pp. (225)-239
- : Statistical approach to proof theory. (English). Kybernetika, vol. 15 (1979), issue 7, pp. 1,3-97
- : Statistical estimation of deducibility in polyadic algebras. (English). Kybernetika, vol. 7 (1971), issue 3, pp. (181)-200
Search
Partner of
