Hyper-contradictions, generalized truth values and logics of truth and falsehood

Journal of Logic, Language and Information

Volumn 15, Issue 4, 2006, Pages 403-424

  Shramko, Yaroslav ^a   Wansing, Heinrich ^b  

^a KRYVYI RIH STATE PEDAGOGICAL UNIVERSITY   (Ukraine)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Belnap trilattice; First degree entailment; Hyper contradiction; Multilattice

Indexed keywords

EID: 33751506693     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1007/s10849-006-9015-0     Document Type: Article

References (25)

1. Anderson, A.R. and Belnap, N.D., 1975, Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton, NJ: Princeton University Press.
2. Anderson, A.R., Belnap, N.D., and Dunn, J.M., 1992, Entailment: The Logic of Relevance and Necessity, Vol. II, Princeton, NJ: Princeton University Press.
3. Belnap, N.D., 1977, "A useful four-valued logic," in Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein, eds., Dordrecht: D. Reidel Publishing Company, pp. 8-37.
4. Belnap, N.D., 1977, "How a computer should think," in Contemporary Aspects of Philosophy, G. Ryle, ed., Stocksfield: Oriel Press Ltd., pp. 30-55.
5. Birkhoff, G., 1967, Lattice Theory, Rhode Island: Providence.
6. Dunn, J.M., 1966, The algebra of intensional logics, Doctoral Dissertation, University of Pittsburgh, Ann Arbor (University Microfilms).
7. Dunn, J.M., 1976, "Intuitive semantics for first-degree entailment and 'coupled trees'," Philosophical Studies 29, 149-168.
8. Dunn, J.M., 1986, "Relevance logic and entailment," in Handbook of Philosophical Logic, D. Gabbay and F. Guenter, eds., Vol. III, Dordrecht: D. Reidel Publishing Company, pp. 117-224.
9. Dunn, J.M., 1999, "A comparative study of various model-theoretic treatments of negation: A history of formal negation," in What is Negation?, D.M. Gabbay and H. Wansing, eds., Applied Logic Series, 13, Dordrecht: Kluwer Academic Publishers, pp. 23-51.
10. Dunn, J.M., 2000, "Partiality and its dual," Studia Logica 66, 5-40.
11. Dunn, J.M. and Hardegree, D.M., 2001, Algebraic Methods in Philosophical Logic, Oxford: Clarendon Press.
12. Dunn, J.M. and Zhou, C., 2005, "Negation in the context of gaggle theory," Studia Logica 80, 235-264.
13. Fitting, M., "Bilattices are nice things," in Self-Reference, T. Bolander, V.F. Hendricks, and S.A. Pedersen, eds., to appear.
14. Ganeri, J., 2002, "Jaina logic and the philosophical basis of pluralism," History and Philosophy of Logic 23, 267-281.
15. Ginsberg, M., 1986, "Multi-valued logics," in Proceedings of AAAI-86, Fifth National Conference on Artificial Intellegence, Los Altos: Morgan Kaufman Publishers, pp. 243-247.
16. Ginsberg, M., 1988, "Multivalued logics: a uniform approach to reasoning in AI," Computer Intelligence 4, 256-316.
17. Jain, P., 1997, Investigating Hypercontradictions, May (Unpublished Mns), 16 pp.
18. Meyer, R.K., 1978, Why I am not a relevantist, Research paper, no. 1, Australian National University, Logic Group, Research School of the Social Sciences, Canberra.
19. Priest, G., 1979, "Logic of paradox," Journal of Philosophical Logic 8, 219-241.
20. Priest, G., 1984, "Hyper-contradictions," Logique et Analyse 27, 237-243.
21. Priest, G., 2001, An Introduction ot Non-Classical Logic, Cambridge: Cambridge University Press.
22. Shramko, Y., 2005, "Dual intuitionistic logic and a variety of negations: The logic of scientific research," Studia Logica 80, 347-367.
23. Shramko, Y., Dunn, J.M., and Takenaka, T., 2001, "The trilattice of constructive truth values," Journal of Logic and Computation 11, 761-788.
24. Shramko, Y. and Wansing, H., 2005, "Some useful sixteen-valued logics: How a computer network should think," Journal of Philosophical Logic 34, 121-153.
25. Simmons, K., 2002, "Semantical and logical paradox," in A Companion to Philosophical Logic, D. Jacquette, ed., Malden, MA: Blackwell Publishers, pp. 115-130.