참고문헌
- Theoretical Computer Science v.159 A proper hierarchy of propositional sequent calculi N. Arai
- Annals of Pure and Applied Logic v.104 Relative efficiency of propositional proof systems: resolution vs. cut-free LK N. Arai
- Siam J. Computing v.12 Varieties of "if-then-else" S. Bloom;R. Tindell
- J. Symbolic Computation v.13 Discriminator varieties and symbolic computation S. Burris
- manuscript S. Burris
- J. of Symbolic Logic v.44 no.1 The relative efficiency of propositional proof systems S. Cook;R. Rechkow
- Linear reduction of first-order logic to if-then-else equation logic J. Jeong
- J. of Symbolic Logic v.54 no.3 Propositional proof systems, the consistency of first order theories and the complexity of computations J. Krajicek;P. Pudlak
- J. Symbolic Logic v.40 On the spectra, and negative solution of the decistion problem for identities having finite nontrivial model R. McKenzie
- Siam J. of Computing v.18 Equational bases for if-then-else logic A. Mekler;E. Nelson
- Lecture Notes in Computer Sci. STACS 98 v.1373 Optimal proof systems for propositional logic and complete sets J. Messner;J. Toran
- Theoretical Computer Science v.66 The complexity of Gentzen systems for propositional logic A. Urquhart