Completeness properties of Heyting's predicate calculus with respect to RE models
Journal of Symbolic Logic 41 (1):81-94 (1976)
| 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,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesXavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.
Pierluigi Minari (1983). Completeness Theorems for Some Intermediate Predicate Calculi. Studia Logica 42 (4):431 - 441.
Adriana Galli, Marta Sagastume & Gonzalo E. Reyes (2000). Completeness Theorems Via the Double Dual Functor. Studia Logica 64 (1):61-81.
Albert Visser (2006). Predicate Logics of Constructive Arithmetical Theories. Journal of Symbolic Logic 71 (4):1311 - 1326.
Hajnal Andréka & Szabolcs Mikulás (1994). Lambek Calculus and its Relational Semantics: Completeness and Incompleteness. Journal of Logic, Language and Information 3 (1):1-37.
Guram Bezhanishvili (1998). Varieties of Monadic Heyting Algebras. Part I. Studia Logica 61 (3):367-402.
Hiroakira Ono (2012). Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100 (1-2):339-359.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
Dov M. Gabbay (1976). On Kreisel's Notion of Validity in Post Systems. Studia Logica 35 (3):285 - 295.
D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #277,005 of 556,772 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
