View of Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

Return to Article Details Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate Download Download PDF