Some useful 16-valued logics: How a computer network should think: Dedicated to Nuel D. Belnap on the occasion of his 75th Birthday

Journal of Philosophical Logic

Volumn 34, Issue 2, 2005, Pages 121-153

  Shramko, Yaroslav ^a   Wansing, Heinrich ^b  

^a KRYVYI RIH STATE PEDAGOGICAL UNIVERSITY   (Ukraine)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

(Logical) bilattices; 16 valued logic; 4 valued logic; Bi consequence logic; First degree entailment; Generalized truth values; Multilattices; Trilattices

Indexed keywords

EID: 33751505969     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1007/s10992-005-0556-5     Document Type: Article

References (44)

1. Allwein, G. and MacCaull, W.: A Kripke semantics for the logic of Gelfand Quantales, Sudia Logica 68 (2001), 173-228.
2. Anderson, A. R. and Belnap, N. D.: Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ, 1975.
3. Anderson, A. R., Belnap, N. D. and Dunn, J. M.: Entailment: The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ, 1992.
4. Arieli, O. and Avron, A.: Logical bilattices and inconsistent data, in Proceedings 9th IEEE Annual Symposium on Logic in Computer Science, IEEE Press, 1994, pp. 468-476.
5. Arieli, O. and Avron, A.: Reasoning with logical bilattices, Journal of Logic, Language and Information 5 (1996), 25-63.
6. Arieli, O. and Avron, A.: Bilattices and paraconsistency, in D. Batens et al. (eds.), Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, Hertfordshire, 2000, pp. 11-27.
7. Avron, A.: The structure of interlaced bilattices, Mathematical Structures in Computer Science 6 (1996), 287-299.
8. Avron, A.: On the expressive power of three-valued and four-valued languages, Journal of Logic and Computation 9 (1999), 977-994.
9. Belnap, N. D.: A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel Publishing Company, Dordrecht, 1977, pp. 8-37.
10. Belnap, N. D.: How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press Ltd., Stocksfield, 1977, pp. 30-55.
11. Białynicki-Birula, A. and Rasiowa, H.: On the representation of quasi-boolean algebras, Bulletin de l'Acad'emie Polonaise des Sciences 5 (1957), 259-261.
12. Biedermann, K.: An equational theory for trilattices, Algebra Universalis 42 (1999), 253-268.
13. Bochman, A.: Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Notre Dame Journal of Formal Logic 39 (1998), 47-73.
14. Dunn, J. M.: The algebra of intensional logics, Doctoral Dissertation, University of Pittsburgh, Ann Arbor, 1966 (University Microfilms).
15. Dunn, J. M.: An intuitive semantics for first degree relevant implications (abstract), Journal of Symbolic Logic 36 (1971), 362-363.
16. Dunn, J. M.: Intuitive semantics for first-degree entailment and 'coupled trees', Philosophical Studies 29 (1976), 149-168.
17. Dunn, J. M.: Relevance logic and entailment, in D. Gabbay and F. Guenter (eds.), Handbook of Philosophical Logic, Vol. III, D. Reidel Publishing Company, Dordrecht, 1986, pp. 117-224.
18. Dunn, J. M.: A Comparative study of various model-theoretic treatments of negation: A history of formal negation, in D. M. Gabbay and H. Wansing (eds.), What is Negation?, Applied Logic Series 13, Kluwer Academic Publishers, Dordrecht, 1999, pp. 23-51.
19. Dunn, J. M.: Partiality and its dual, Studia Logica 66 (2000), 5-40.
20. Dunn, J. M. and Hardegree, G. M.: Algebraic Methods in Philosophical Logic, Oxford University Press, Oxford, 2001.
21. Fitting, M.: Bilattices and the theory of truth, Journal of Philosophical Logic 18 (1989),225-256.
22. Fitting, M.: Kleene's logic, generalized, Journal of Logic and Computation 1 (1990), 797-810.
23. Fitting, M.: Bilattices in logic programming, in G. Epstein (ed.), The Twentieth International Symposium on Multiple-Valued Logic, IEEE Press, 1990, pp. 238-246.
24. Fitting, M.: Bilattices and the semantics of logic programming, Journal of Logic Programming 11 (1991), 91-116.
25. Fitting, M.: Kleene's three-valued logic and their children, Fundamenta Informaticae 20 (1994),113-131.
26. Fitting, M.: A theory of truth that prefers falsehood, Journal of Philosophical Logic 26 (1997),447-500.
27. Fitting, M.: Bilattices are nice things, in V. F. Hendricks, S. A. Pedersen and T. Bolander (eds.), Self-Reference, CSLI Publications, Cambridge University Press, 2004.
28. Font, J. M.: Belnap's four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5 (1997), 413-440.
29. Ganter, B. and Wille, R.: Formal Concept Analysis: Mathematical Foundations, Springer-Verlag, Berlin, 1999.
30. Gargov, G.: Knowledge, uncertainty and ignorance in logic: Bilattices and beyond, Journal of Applied Non-Classical Logics 9 (1999), 195-203.
31. Ginsberg, M.: Multi-valued logics, in Proceedings of AAAI-86, Fifth National Conference on Artificial Intellegence, Morgan Kaufman Publishers, Los Altos, 1986, pp. 243-247.
32. Ginsberg, M.: Multivalued logics: A uniform approach to reasoning in AI, Computer Intelligence 4 (1988), 256-316.
33. Jain, P.: Investigating Hypercontradictions, May 1997 (Unpublished Mns).
34. Kamide, N.: Quantized linear logic, involutive quantales and strong negation, to appear in Studia Logica.
35. Karpenko, A.: Truth values: What are they? (in Russian), in V. Smirnov (ed.), Investigations in Non-classical Logics, Nauka, Moscow, 1989, pp. 38-53.
36. Lakshmanan, L. V. S. and Sadri, F.: Probabalistic deductive databases, in M. Bruynooghe (ed.), Proceedings of 1994 International Logic Programming Symposium, MIT Press, 1994, pp. 254-268.
37. Meyer, R. K.: Why I am not a relevantist, Research paper No. 1, Australian National University, Logic Group, Research School of the Social Sciences, Canberra, 1978.
38. Priest, G.: Hyper-contradictions, Logique et Analyse 27 (1984), 237-243.
39. Schöter, A.: Evidential bilattice logic and lexical inference, Journal of Logic, Language and Information 5 (1996), 65-105.
40. Shramko, Y., Dunn, J. M. and Takenaka, T.: The trilattice of constructive truth values, Journal of Logic and Computation 11 (2001), 761-788.
41. Voishvillo, E. K.: A theory of logical relevance, Logique et Analyse 155-156 (1996), 207-228.
42. Voutsadakis, G.: Poliadic concept analysis, Order 19 (2002), 295-304.
43. Wansing, H.: Short dialogue between M (Mathematician) and P (Philosopher) on multi-lattices, Journal of Logic and Computation 11 (2001), 759-760.
44. Wille, R.: The basic theorem of triadic concept analysis, Order 12 (1995), 149-158.