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

Wei Li; Yuefei Sui

doi:10.1007/s11704-016-5299-7

The B₄-valued propositional logic with unary logical connectives ~₁ / ~₂ /¬

Wei Li
, Yuefei Sui^*

^*Corresponding author for this work

School of Computer Science and Engineering

CAS - Institute of Computing Technology

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

A B₄-valued propositional logic will be proposed in this paper which there are three unary logical connectives ~₁, ~₂, ¬ 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.

Original language	English
Pages (from-to)	887-894
Number of pages	8
Journal	Frontiers of Computer Science
Volume	11
Issue number	5
DOIs	https://doi.org/10.1007/s11704-016-5299-7
State	Published - 1 Oct 2017

Keywords

modality
the Belnap logic
the completeness
the soundness

Access to Document

10.1007/s11704-016-5299-7

Cite this

@article{f36260379d2a4b8285b2de40b573c657,

title = "The B4-valued propositional logic with unary logical connectives \textasciitilde{}1 / \textasciitilde{}2 /¬",

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

keywords = "modality, the Belnap logic, the completeness, the soundness",

author = "Wei Li and Yuefei Sui",

note = "Publisher Copyright: {\textcopyright} 2016, Higher Education Press and Springer-Verlag GmbH Germany.",

year = "2017",

month = oct,

day = "1",

doi = "10.1007/s11704-016-5299-7",

language = "英语",

volume = "11",

pages = "887--894",

journal = "Frontiers of Computer Science",

issn = "2095-2228",

publisher = "Higher Education Press Limited Company",

number = "5",

}

TY - JOUR

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

AU - Li, Wei

AU - Sui, Yuefei

PY - 2017/10/1

Y1 - 2017/10/1

N2 - A B4-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 B4-valued semantics, where B4 is a Boolean algebra.

AB - A B4-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 B4-valued semantics, where B4 is a Boolean algebra.

KW - modality

KW - the Belnap logic

KW - the completeness

KW - the soundness

UR - https://www.scopus.com/pages/publications/85020056639

U2 - 10.1007/s11704-016-5299-7

DO - 10.1007/s11704-016-5299-7

M3 - 文章

AN - SCOPUS:85020056639

SN - 2095-2228

VL - 11

SP - 887

EP - 894

JO - Frontiers of Computer Science

JF - Frontiers of Computer Science

IS - 5

ER -

The B₄-valued propositional logic with unary logical connectives ~₁ / ~₂ /¬

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this