Intuitionistic logic with strong negation
Studia Logica 36 (1-2):49 - 59 (1977)
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesL. Humberstone & D. Makinson (2012). Intuitionistic Logic and Elementary Rules. Mind 120 (480):1035-1051.
Valentin Goranko (1985). The Craig Interpolation Theorem for Prepositional Logics with Strong Negation. Studia Logica 44 (3):291 - 317.
Norihiro Kamide (2006). Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Journal of Logic, Language and Information 15 (4).
Kosta Došen (1992). The First Axiomatization of Relevant Logic. Journal of Philosophical Logic 21 (4):339 - 356.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini (1993). Fuzzy Intuitionistic Quantum Logics. Studia Logica 52 (3):419 - 442.
Dimiter Vakarelov (2005). Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation. Studia Logica 80 (2-3):393 - 430.
Greg Restall (1997). Combining Possibilities and Negations. Studia Logica 59 (1):121-141.
Norihiro Kamide (2004). Quantized Linear Logic, Involutive Quantales and Strong Negation. Studia Logica 77 (3):355 - 384.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads19 ( #64,378 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
