Publisher
The Japan Association for Philosophy of Science
Reference19 articles.
1. [1] T. Arai, Cut-elimination for SBL, submitted.
2. [2] T. Arai and G. Mints, Extended normal form theorems for logical proofs from axioms, Theor. Comp. Sci. 232 (2000), 121-132.
3. [3] F. Belardinelli, P. Jipsen and H. Ono, Algebraic aspects of cut elimination, Studia Logica 77(2004), 209-240.
4. [4] J.-Y. Girard, Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture, Diss. Math. 136, 1976.
5. [5] J.-Y. Girard, Proof theory and logical complexity, vol. 1, Bibliopolis 1987.