An addendum: Disjunction and existence under implication in elementary intuitionistic formalisms
Journal of Symbolic Logic 28 (2):154-156 (1963)
| 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 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 (1962). Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms. Journal of Symbolic Logic 27 (1):11-18.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,602 of 549,017 )Recent downloads (6 months)1 ( #63,261 of 549,017 )How can I increase my downloads? |
My notes
Discussion
