FCS 11(5) 文章 | 具有 ~1/ ~2 /¬ 三个一元逻辑联结词的B4-值命题逻辑

导读

本文提出了一个 B4-值命题逻辑，具有 ~1, ~2, ¬ 三个一元逻辑联结词和 ∧, ∨ 两个二元逻辑联结词。文章提出了 Gentzen 型推导系统，使得具备B4-值语义的推导系统（B4是一个布尔代数）是完备的。

---

---

文章精要

---

---

如需阅读本期推荐文章的全文，请点左下角的「阅读原文」链接。

精彩推荐

FCS 优青论坛 | MSVL：一种类型化时序逻辑程序设计语言

Xiaobing WANG, Cong TIAN, Zhenhua DUAN, Liang ZHAO

FCS 优青论坛 | 神经网络加速器研究综述

Zhen LI, Yuqing WANG, Tian ZHI, Tianshi CHEN

专题 | Smart Cities and Urban Computing

专题 | Deep Learning Applications in Computer Vision

专题 | Advances of Orange Technologies

Perspectives | Lifelong machine learning: a paradigm for continuous learning

Bing LIU

Perspectives | Urban computing: enabling urban intelligence with big data

Yu ZHENG

Perspectives | Computer Graphics 2.0: towards end-user-generated contents

Kun ZHOU

---

---

Frontiers of Computer Science

---

Frontiers of Computer Science 是由教育部主管、高等教育出版社和德国 Springer 公司共同出版的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为李未院士，执行主编为熊璋教授和周志华教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”。

---

长按二维码关注Frontiers of Computer Science公众号