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

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

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 A, v, 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 Boolea...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Frontiers of Computer Science 2017-10, Vol.11 (5), p.887-894
Hauptverfasser: LI, Wei, SUI, Yuefei
Format: Artikel
Sprache:eng
Schlagworte:
Boolean algebra
Computer Science
Logic
modality
Research Article
Semantics
the Belnap logic
the completeness
the soundness
三元
命题逻辑
布尔代数
演绎系统
连接
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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 A, v, 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.
ISSN:2095-2228
2095-2236
DOI:10.1007/s11704-016-5299-7