ML-1994-03 - The Institute for Logic, Language and Computation

5 downloads 29 Views 3MB Size Report
ILLC Research Report and Technical Notes Series ... 14% WW. ABSTRACT: In this paper we study NNIL, the class of formulas of the Intuitionistic Propositional. Calculus ... We prove a number of interpolation properties for NNIL, and explore.