A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first order
Notre Dame Journal of Formal Logic 16 (4):552-554 (1975)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesD. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
Richmond H. Thomason (1968). On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus. Journal of Symbolic Logic 33 (1):1-7.
Hiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. Studia Logica 45 (1):19 - 33.
Vladimir A. Smirnov (1987). Strict Embedding of the Elementary Ontology Into the Monadic Second-Order Calculus of Predicates Admitting the Empty Individual Domain. Studia Logica 46 (1):1 - 15.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
P. T. Bateman, C. G. Jockusch & A. R. Woods (1993). Decidability and Undecidability of Theories with a Predicate for the Primes. Journal of Symbolic Logic 58 (2):672-687.
Nobu -Yuki Suzuki (1990). Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics. Studia Logica 49 (3):289 - 306.
L. Borkowski (1961). A Didactical Approach to the Zero-One Decision Procedure of the Expressions of the First Order Monadic Predicate Calculus. Studia Logica 11 (1):76.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev (2005). Undecidability of First-Order Intuitionistic and Modal Logics with Two Variables. Bulletin of Symbolic Logic 11 (3):428-438.
Miklós Erdélyi-Szabó (2000). Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis. Journal of Symbolic Logic 65 (3):1014-1030.
Neil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
Herman Ruge Jervell (1972). On Skolem and Herbrand Theorems for Intuitionistic Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads2 ( #234,650 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
