Journal of Philosophical Logic 25 (2):135 - 150 (1996)
|Abstract||We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems|
|Keywords||Curry's paradox contractionless constructive logic naive set theory|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Seiki Akama (1987). Constructive Predicate Logic with Strong Negation and Model Theory. Notre Dame Journal of Formal Logic 29 (1):18-27.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
Andrew Bacon (2013). Curry's Paradox and Omega Inconsistency. Studia Logica 101 (1):1-9.
Yaroslav Shramko (2005). Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research. Studia Logica 80 (2-3):347 - 367.
Gemma Robles & José M. Méndez (2008). The Basic Constructive Logic for a Weak Sense of Consistency. Journal of Logic, Language and Information 17 (1):89-107.
Susan Rogerson (2007). Natural Deduction and Curry's Paradox. Journal of Philosophical Logic 36 (2):155 - 179.
Andrew Bacon (2013). A New Conditional for Naive Truth Theory. Notre Dame Journal of Formal Logic 54 (1):87-104.
José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2):199-216.
Added to index2009-01-28
Total downloads14 ( #90,445 of 722,700 )
Recent downloads (6 months)1 ( #60,247 of 722,700 )
How can I increase my downloads?