Curry's paradox in contractionless constructive logic

Journal of Philosophical Logic

Volumn 25, Issue 2, 1996, Pages 135-150

  Akama, Seiki ^a  

^a TEIKYO HEISEI UNIVERSITY   (Japan)

Author keywords

Contractionless constructive logic; Curry's paradox; Naive set theory

Indexed keywords

EID: 33947507568     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1007/BF00247001     Document Type: Article

References (18)

1. Akama, S. (1988). On the proof method for constructive falsity, Zeitschrift für mathematische Logik und Grundlagen der Mathemalik 34, 385-392.
2. Akama, S. (1989). Constructive Falsity: Foundations and Their Applications to Computer Science. Ph.D. Thesis, Department of Administration Engineering, Keio University, Yokohama, Japan.
3. Almukdad, A. and Nelson, D. (1984). Constructible falsity and inexact predicates, Journal of Symbolic Logic 49, 231-233.
4. Anderson, A. R. (1975). Fitch on consistency, in A. R. Anderson, R. B. Marcus and R. M. Martin (eds), The Logical Enterprise, 123-141. Yale University Press, New Haven.
5. Brady, R. T. (1983). The simple consistency of a set theory based on the logic CSQ, Notre Dame Journal of Formal Logic 24, 431-449.
6. Bunder, M. (1985). BCK-predicate logic as a foundation of multiset theory. University of Wollongong.
7. Fitch, F. B. (1952). Symbolic Logic. Ronald Press, New York.
8. Girard, J.-Y. (1987). Linear logic, Theoretical Computer Science 50, 1-102.
9. Kleene, S. C. (1952). Introduction to Metamalhematics. North-Holland, Amsterdam.
10. Myhill, J. (1984). Paradoxes, Synthese 60, 129-143.
11. Nelson, D. (1949). Constructible falsity, Journal of Symbolic Logic 14, 16-26.
12. Ono, H. and Komori, Y. (1985). Logics without the contraction rule, Journal of Symbolic Logic 50, 169-201.
13. Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Almqvist and Wiksell, Stockholm.
14. Priest, G. (1987). In Contradiction. Martinus Nijhoff, Dordrecht.
15. Restall, G. (1993). How to be really contraction free, Studia Logica 52, 381-391.
16. Routley, R. (1974). Semantical analyses of prepositional systems of Fitch and Nelson, Studia Logica 33, 283-298.
17. Wansing, H. (1993). The Logic of Information Structures. Springer, Berlin.
18. White, R. (1979). The consistency of the axiom of comprehension in the infinite valued predicate logic of Lukasiewicz, Journal of Philosophical Logic 8, 509-534.