Intuitionistic Relevant Logic and Perfect Validity
Analysis 54 (3):140 - 142 (1994)
| 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,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNeil Tennant (1994). Intuitionistic Mathematics Does Not Needex Falso Quodlibet. Topoi 13 (2):127-133.
H. C. M. Swart & C. J. Posy (1981). Validity and Quantification in Intuitionism. Journal of Philosophical Logic 10 (1):117 - 126.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Fan Yang (2013). Expressing Second-Order Sentences in Intuitionistic Dependence Logic. Studia Logica 101 (2):323-342.
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Peter Schroeder-Heister (1983). The Completeness of Intuitionistic Logic with Respect to a Validity Concept Based on an Inversion Principle. Journal of Philosophical Logic 12 (3):359 - 377.
Charles McCarty (2006). The Coherence of Antirealism. Mind 115 (460):947-956.
A. S. Troelstra (1981). On a Second Order Propositional Operator in Intuitionistic Logic. Studia Logica 40 (2):113 - 139.
Kosta Došen (1992). The First Axiomatization of Relevant Logic. Journal of Philosophical Logic 21 (4):339 - 356.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
Kosta Došen (1981). A Reduction of Classical Propositional Logic to the Conjunction-Negation Fragment of an Intuitionistic Relevant Logic. Journal of Philosophical Logic 10 (4):399 - 408.
Bernd I. Dahn (1981). Partial Isomorphisms and Intuitionistic Logic. Studia Logica 40 (4):405 - 413.
Analytics
Monthly downloads |
Added to index2011-05-29Total downloads2 ( #232,211 of 548,969 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
