The B4-valued propositional logic with unary logical connectives ∼1 / ∼2 /¬

Wei LI; Yuefei SUI

doi:10.1007/s11704-016-5299-7

Front. Comput. Sci. ›› 2017, Vol. 11 ›› Issue (5) : 887 -894. DOI: 10.1007/s11704-016-5299-7

RESEARCH ARTICLE

The B4-valued propositional logic with unary logical connectives ∼₁ / ∼₂ /¬

Wei LI ¹
, Yuefei SUI ²^,^†

Author information +

History +

PDF (264KB)

Abstract

A B₄-valued propositional logic will be proposed in this paper which there are three unary logical connectives ∼1, ∼2, ¬ and two binary logical connectives ∧, ∨, and a Gentzen-typed deduction system will be given so that the system is sound and complete with B₄-valued semantics, where B₄ is a Boolean algebra.

Keywords

the Belnap logic / modality / the soundness / the completeness

Cite this article

Download citation ▾

Wei LI, Yuefei SUI. The B4-valued propositional logic with unary logical connectives ∼₁ / ∼₂ /¬. Front. Comput. Sci., 2017, 11(5): 887-894 DOI:10.1007/s11704-016-5299-7

登录浏览全文

4963

注册一个新账户忘记密码

References

Publishing order | Descend order by publishing year | Descend order by cited within

[1]	BelnapN. How a computer should think. In: Ryle G, ed. Contemporary Aspects of Philosophy. Stocksfield: Oriel Press, 1977, 30–56

[2]	BelnapN. A useful four-valued logic. In: Dunn J M, Epstein G, eds. Modern Uses of Multiple-valued Logic. Dordrecht: D. Reidel, 1977, 8–37

[3]	BergstraJ A, PonseA. Kleene’s three-valued logic and process algebra. Information Processing Letters, 1998, 67(2): 95–103

[4]	BergstraJ A, PonseA. Process algebra with four-valued logic. Journal of Applied Non-Classical Logics, 2000, 10(1): 27–53

[5]	RodriguesO, RussoA. A translation method for Belnap logic. Imperial College RR DoC98/7, 1998

[6]	PonseA, van der Zwaag M B. A generalization of ACP using Belnap’s logic. Electronic Notes in Theoretical Computer Science, 2006, 162: 287–293

[7]	LiW. Mathematical Logic, Foundations for Information Science (Progress in Computer Science and Applied Logic). Berlin: Birkhäuser, 2010

[8]	PynkoA P. On Priest’s logic of paradox. Journal of Applied Non- Classical Logics, 1995, 5(2): 219–225

[9]	PynkoA P. Characterizing Belnap’s logic via De Morgan’s laws. Mathematical Logic Quarterly, 1995, 41(4): 442–454

[10]	PynkoA P.Implicational classes of DeMorgan lattices. Discrete mathematics, 1999, 205(1): 171–181

[11]	FontJ M. Belnap’s four-valued logic and De Morgan lattices. Logic Journal of the I.G.P.L., 1997, 5(3): 413–440

[12]	GottwaldS. A Treatise on Many-Valued Logics (Studies in Logic and Computation). Baldock: Research Studies Press Ltd, 2001

[13]	UrquhartA. Basic many-valued logic. In: Gabbay D, Guenthner F, eds. Handbook of Philosophical Logic, Vol. 2. 2nd ed. Dordrecht: Kluwer, 2001, 249–295