A few more useful 8-valued logics for reasoning with tetralattice EIGHT4

Studia Logica

Volumn 92, Issue 2, 2009, Pages 265-280

  Zaitsev, Dmitry ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

Bilattice; Dunn belnap logic; First degree entailment; Generalized truth values; Shramko wansing logic; Tetralattice; Trilattice

Indexed keywords

EID: 70349570701     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-009-9198-x     Document Type: Article

References (19)

1. Anderson A.R., Belnap N.D.: Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, Princeton, NJ (1975)
2. Anderson A.R., Belnap N.D., Dunn J.M.: Entailment: The Logic of Relevance and Necessity, Vol. II. Princeton University Press, Princeton, NJ (1992)
3. 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.
4. Arieli O., Avron A.: Reasoning with logical bilattices. Journal of Logic, Language and Information 5, 25-63 (1996)
5. Avron A.: The structure of interlaced bilattices. Mathematical Structures in Computer Science 6, 287-299 (1996)
6. Belnap N.D. (1977). A useful four-valued logic. In: Dunn J.M., Epstein G. (eds) Modern Uses of Multiple-Valued Logic. D. Reidel Publishing Company, Dordrecht, pp 8-37
7. Belnap, N.D., 'How a computer should think', in: G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, 1977, pp. 30-55.
8. Dunn, J.M., The Algebra of Intensional Logics, Doctoral Dissertation, University of Pittsburgh, Ann Arbor, 1966 (University Microfilms).
9. Dunn J.M.: 'An intuitive semantics for first degree relevant implications' (abstract). Journal of Symbolic Logic 36, 362-363 (1971)
10. Dunn J.M.: Intuitive semantics for first-degree entailment and coupled trees. Philosophical Studies 29, 149-168 (1976)
11. Fitting M.: Bilattices and the theory of truth. Journal of Philosophical Logic 18, 225-256 (1989)
12. Fitting, M., 'Bilattices in logic programming', in: G. Epstein (ed.), The Twentieth International Symposium on Multiple-Valued Logic, IEEE Press, 1990, pp. 238-246.
13. Fitting M.: Bilattices and the semantics of logic programming. Journal of Logic Programming 11, 91-116 (1991)
14. 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.
15. Ginsberg, M., 'Multi-valued logics'', in: Proceedings of AAAI-86, Fifth National Conference on Artificial Intellegence, Morgan Kaufman Publishers, 1986, pp. 243- 247.
16. Shramko Y., Dunn J.M., Takenaka T.: The trilattice of constructive truth values. Journal of Logic and Computation 11, 761-788 (2001)
17. Shramko Y., Wansing H.: Some useful sixteen-valued logics: How a computer network should think. Journal of Philosophical Logic 34, 121-153 (2005)
18. Shramko Y., Wansing H.: Hyper-contradictions, generalized truth values and logics of truth and falsehood. Journal of Logic, Language and Information 15, 403-424 (2006)
19. Wansing, H. and Shramko Y., 'Harmonious many-valued propositional logics and the logic of computer networks', in: C. Dégremont, L. Keiff and H. Rückert (eds.), Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, College Publications, 2008, pp. 491-516.