• DML-CZ Home

03F20 Complexity of proofs (5 articles)

• Švejdar, Vítězslav: On sequent calculi for intuitionistic propositional logic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 1, pp. 159-173
• Bílková, Marta: Monotone sequent calculus and resolution. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 42 (2001), issue 3, pp. 575-582
• 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: 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