A translation theorem for two systems of free logic
Logique Et Analyse 10:328-341 (1967)
| 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,875 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesKarel Lambert (1981). On the Philosophical Foundations of Free Logic. Inquiry 24 (2):147 – 203.
J. W. Degen (1999). Complete Infinitary Type Logics. Studia Logica 63 (1):85-119.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Pilar Dellunde (2000). A Preservation Theorem for Equality-Free Horn Sentences. Theoria 15 (3):517-530.
Anita Wasilewska (1984). DFC-Algorithms for Suszko Logic and One-to-One Gentzen Type Formalizations. Studia Logica 43 (4):395 - 404.
Raymond D. Gumb (2001). An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Studia Logica 69 (2):279-292.
John K. Slaney (1984). A Metacompleteness Theorem for Contraction-Free Relevant Logics. Studia Logica 43 (1-2):159 - 168.
Dan E. Willard (2001). Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles. Journal of Symbolic Logic 66 (2):536-596.
Karel Lambert (2003). Free Logic: Selected Essays. New Yorkcambridge University Press.
Karel Lambert (ed.) (1991). Philosophical Applications of Free Logic. Oxford University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-17Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
