The Effect of Griss's Criticism of the Intuitionistic Logic on Deducative Theories Formalized Within the Intuitionistic Logic
Amsterdam, Drukkerij Holland (1953)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical Intuition | |||||||||
| Categories | ||||||||||
| Call number | BC135.G5 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesMitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Wim Veldman (1976). An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic. Journal of Symbolic Logic 41 (1):159-166.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. Erkenntnis 53 (1-2):155-179.
Torben Braüner (2006). Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic. Journal of Logic, Language and Information 15 (3).
Bernd I. Dahn (1981). Partial Isomorphisms and Intuitionistic Logic. Studia Logica 40 (4):405 - 413.
Victor N. Krivtsov (2000). A Negationless Interpretation of Intuitionistic Theories. I. Studia Logica 64 (3):323-344.
Charles Ashbacher (2002). Introduction to Neutrosophic Logic. American Research Press.
Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri (1997). Intuitionistic Autoepistemic Logic. Studia Logica 59 (1):103-120.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-09-15Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
