The substitution interpretation in topological logic
Journal of Philosophical Logic 3 (1-2):109 - 132 (1974)
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJames W. Garson (1973). Indefinite Topological Logic. Journal of Philosophical Logic 2 (1):102 - 118.
James W. Garson (1973). The Completeness of an Intensional Logic: Definite Topological Logic. Notre Dame Journal of Formal Logic 14 (2):175-184.
Tomasz Połacik (1994). Second Order Propositional Operators Over Cantor Space. Studia Logica 53 (1):93 - 105.
James W. Garson (1979). The Substitution Interpretation and the Expressive Power of Intensional Logics. Notre Dame Journal of Formal Logic 20 (4):858-864.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Nicholas Rescher & James Garson (1968). Topological Logic. Journal of Symbolic Logic 33 (4):537-548.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,602 of 549,014 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
