Home
Add Document
Sign In
Create An Account
ML-1994-03 - The Institute for Logic, Language and Computation
Recommend Documents
No documents
ML-1994-03 - The Institute for Logic, Language and Computation
Download PDF
5 downloads
29 Views
3MB Size
Report
Comment
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.
×
Report "ML-1994-03 - The Institute for Logic, Language and Computation"
Your name
Email
Reason
-Select Reason-
Pornographic
Defamatory
Illegal/Unlawful
Spam
Other Terms Of Service Violation
File a copyright complaint
Description
×
Sign In
Email
Password
Remember me
Forgot password?
Sign In
Our partners will collect data and use cookies for ad personalization and measurement.
Learn how we and our ad partner Google, collect and use data
.
Agree & close