1David Pearce, “From here to there: Stable negation in logic programming”, Gabby, Wansing, What is negation ? Dordrecht: Kluwer Academic Publishers, 1999,161-181.. 被引量:1
2Graham Priest,An Introduction to Non-Classical Logic, UK: Cambridge University Press, 2001. 被引量:1
4T. Williamson, Equivocation and Existence. PAS, 1987, p. 109. 被引量:1
5A. N. Prior, "Logic, Many - Valued", The Encyclopedia of Philosophy, 1967 ( 5 ) : pp. 1 - 5. 被引量:1
6A. Heyting, The Intuitionist Foundations of Mathernatzcs, Cambridge University Press, 1983, p. 59. 被引量:1
7Graham Priest,An Introduction to Non - Classical Logic, Cambridge University Press, 2001, p. 100. 被引量:1
8Greg Restall,Negation in Relevant Logics, (How I Stopped worrying and learned to Love the Routley Star)[ C]//Gabby, Wansing. What is Negation? Dordrecht : Kluwer Academic Publishers, 1999, pp. 53 - 76. 被引量:1
9Hossaek. G, "A Problem about the Meaning of Intuitionist Negation", Mind, 1990 ,p. 99. 被引量:1