Disjunction and existence under implication in elementary intuitionistic formalisms
Journal of Symbolic Logic 27 (1):11-18 (1962)
| 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,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGreg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Lloyd Humberstone (2001). The Pleasures of Anticipation: Enriching Intuitionistic Logic. Journal of Philosophical Logic 30 (5):395-438.
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
L. Humberstone & D. Makinson (2012). Intuitionistic Logic and Elementary Rules. Mind 120 (480):1035-1051.
D. Dalen (1986). Glueing of Analysis Models in an Intuitionistic Setting. Studia Logica 45 (2):181 - 186.
Harvey Friedman (1977). On the Derivability of Instantiation Properties. Journal of Symbolic Logic 42 (4):506-514.
Liza Verhoeven (2007). The Relevance of a Relevantly Assertable Disjunction for Material Implication. Journal of Philosophical Logic 36 (3):339-366.
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
S. C. Kleene (1963). An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 28 (2):154-156.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,265 of 548,984 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
