R-Calculus for $$\mathbf{B}_2^2$$-Valued PL
Author:
Li Wei,Sui Yuefei
Publisher
Springer Singapore
Reference10 articles.
1. O. Arieli, A. Avron, Reasoning with logical bilattices. J. Logic Lang. Inf. 5(1), 25–63 (1996)
2. M. Baaz, C.G. Fermüller, A. Ovrutcki, R. Zach, MULTLOG: a system for axiomatizing many-valued logics, in Logic Programming and Automated Reasoning (LPAR’93), LNCS 698 (LNAI), ed. by A. Voronkov (Springer, 1993), pp. 345–347
3. M. Baaz, C.G. Fermüller, G. Salzer, R. Zach, Labeled calculi and finite-valued logics. Studia Logica 61, 7–33 (1998)
4. N. Belnap, A useful four-valued logic, in Modern Uses of Multiple-valued Logic, ed. by J.M. Dunn, G. Epstein (D. Reidel, 1977), pp. 8–37
5. J.M. Font, Belnap’s four-valued logic and De Morgan lattices. Logic J. I.G.P.L. 5(3), 413–440 (1997)