03 Mathematical logic and foundations
03Fxx Proof theory and constructive mathematics
03F07 Structure of proofs (6 articles)
- : On free modes. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 4, pp. 561-568
- : Monotone sequent calculus and resolution. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 42 (2001), issue 3, pp. 575-582
- : Speed-up for propositional Frege systems via generalizations of proofs. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 137-140
- : On a unification problem related to Kreisel's conjecture. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 29 (1988), issue 3, pp. 551-556
- : Společný spůsob dokazování různých pouček a vzorců. [I.]. (Czech) [A universal way for proving of various theorems and formulae. [I.]]. Časopis pro pěstování mathematiky a fysiky, vol. 10 (1881), issue 4, pp. 201-207
- : Společný spůsob dokazování různých pouček a vzorců. [II.]. (Czech) [A universal way for proving of various theorems and formulae. [II.]]. Časopis pro pěstování mathematiky a fysiky, vol. 10 (1881), issue 5, pp. 252-260
Search
Partner of
