Abstract
We propose a four-valued logic with intuitive semantics by the connectives that is useful for understanding the contradictions in knowledge representation. The intuitive semantics reflects that any assertion has dual character by whose information for or against the judgment. The four-valued logic is weakly paraconsistent and has the weak consistency to capture whether or not the contradictions are reconcilable with information. The four-valued logic is a normal extension of classical logic in a sense that it contains the schemata of classical axioms. We then propose an axiomatization of the four-valued logic. The soundness and completeness of the axiomatization with respect to the semantics are proved. The usefulness of the four-valued logic is discussed.
The work is supported in part by Natural Science Fund of China under numbers 61672049/61732001 and Advance Programs Fund of Ministry of Education of China.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
In classical logic, the material implication means that “if A, then B” is equal to “not A, or B”. The concept of material implication in F can be viewed as a natural extension from that in classical logic, that is, “if A, then B” is equal to “the opposite of A, or B”. That is, “\(v(A) \in D\) implies \(v(B) \in D\)” is equal to “\(v(A) \not \in D\), or \(v(B) \in D\)”.
References
Anderson, A., Belnap, N.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)
Arieli, O., Avron, A.: The value of the four values. Artif. Intell. 102(1), 97–141 (1998)
Belnap Jr., N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logic, pp. 5–37. Springer, Dordrecht (1977). https://doi.org/10.1007/978-94-010-1161-7_2
van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Stud. Logica 99(1–3), 61–92 (2011)
Bergstra, J.A., Bethke, I., Rodenburg, P.: A propositional logic with 4 values: true, false, divergent and meaningless. J. Appl. Non-Class. Log. 5(2), 199–217 (1995)
De, M., Omori, H.: Classical negation and expansions of belnap-dunn logic. Stud. Logica 103(4), 825–851 (2015)
Fitting, M.: Bilattices and the semantics of logic programming. J. Log. Prog. 11(2), 91–116 (1991)
Font, J.M., Moussavi, M.: Note on a six-valued extension of three-valued logic. J. Appl. Non-Class. Log. 3(2), 173–187 (1993)
Font, J.M.: Belnap’s four-valued logic and De Morgan lattices. Log. J. IGPL 5(3), 1–29 (1997)
Ginsberg, M.L.: Multivalued logics: a uniform approach to reasoning in artificial intelligence. Comput. Intell. 4(3), 265–316 (1988)
Rosser, J.B., Turquette, A.R.: Multiple-Valued Logics. North Holland, Amsterdam (1952)
Kaluzhny, Y., Muravitsky, A.Y.: A knowledge representation based on the Belnap’s four-valued logic. J. Appl. Non-Class. Log. 3(2), 189–203 (1993)
Maruyama, Y.: Algebraic study of lattice-valued logic and lattice-valued modal logic. In: Ramanujam, R., Sarukkai, S. (eds.) ICLA 2009. LNCS (LNAI), vol. 5378, pp. 170–184. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-92701-3_12
Omori, H., Sano, K.: Generalizing functional completeness in Belnap-Dunn logic. Stud. Logica 103(5), 883–917 (2015)
Pietz, A., Rivieccio, U.: Nothing but the truth. J. Philos. Log. 42(1), 125–135 (2013)
Pynko, A.P.: Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansions. J. Appl. Non-Class. Log. 9(1), 61–105 (1999)
Ruet, P., Fages, F.: Combining explicit negation and negation by failure via Belnap’s logic. Theor. Comput. Sci. 171(1), 61–75 (1997)
Tsoukias, A.: A first order, four-valued, weakly paraconsistent logic and its relation with rough sets semantics. Found. Comput. Decis. Sci. 27(2), 77–96 (2002)
Visser, A.: Four valued semantics and the liar. J. Philos. Log. 13(2), 181–212 (1984)
Wintein, S., Muskens, R.: A calculus for Belnap’s logic in which each proof consists of two trees. Log. Anal. 220, 643–656 (2012)
Wintein, S., Muskens, R.: A gentzen calculus for nothing but the truth. J. Philos. Log. 45(4), 451–465 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Lin, Z., Jia, Z. (2018). Another Useful Four-Valued Logic. In: Liu, W., Giunchiglia, F., Yang, B. (eds) Knowledge Science, Engineering and Management. KSEM 2018. Lecture Notes in Computer Science(), vol 11062. Springer, Cham. https://doi.org/10.1007/978-3-319-99247-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-99247-1_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99246-4
Online ISBN: 978-3-319-99247-1
eBook Packages: Computer ScienceComputer Science (R0)