Author:
Fukuda Yosuke,Igarashi Ryosuke
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Cook, R.T., Cogburn, J.: What negation is not: intuitionism and ‘0=1’. Analysis 60(265), 5–12 (2000)
2. Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)
3. Oxford Logic Guides;M Dummett,2000
4. Griffin, T.G.: A formulae-as-type notion of control. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 47–58 (1990)
5. Hand, M.: Antirealism and falsity. In: Gabbay, D.M., Wansing, H. (eds.) What is Negation?, pp. 185–198. Springer, Dordrecht (1999). doi:
10.1007/978-94-015-9309-0_9