Volume 104, Number 1-3, 15 May 2000
Noriko H. Arai
: Relative efficency of propositional proof systems: resolution vs. cut-free LK.
: Functional interpretation of Aczel's constructive set theory.
: Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic.
: Safe recursion with higher types and BCK-algebra.
: Reduction of finite and infinite derivations.
Hans de Nivelle
: Deciding the E+ - class by an a posteriori, liftable order.
: Multifunction algebras and the provability of PH.
: The non-constructive mu operator, fixed point theories with ordinals, and the bar rule.
: Interactive and probabilistic proof-checking.