Craig's Interpolation Theorem for the Intuitionistic Logic of Constant Domains
[Oslo,Universitetet I Oslo, Matematisk Institutt (1971)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Predicate calculus Intuitionistic mathematics | |||||||||
| Categories | ||||||||||
| Call number | QA9.35.J47 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesNeil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Dov M. Gabbay (1977). Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. Journal of Symbolic Logic 42 (2):269-271.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
G. E. Mint͡s (2000). A Short Introduction to Intuitionistic Logic. Kluwer Academic / Plenum Publishers.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
Valentin Goranko (1985). The Craig Interpolation Theorem for Prepositional Logics with Strong Negation. Studia Logica 44 (3):291 - 317.
Michael Makkai (1995). On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic 36 (3):364-381.
Herman Ruge Jervell (1972). On Skolem and Herbrand Theorems for Intuitionistic Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
