The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L)
文献类型：期刊论文
| 作者 | Li Wei2; Sui Yuefei3; Wang Yuhui1,3 |
| 刊名 | JOURNAL OF INTELLIGENT & FUZZY SYSTEMS
 |
| 出版日期 | 2017 |
| 卷号 | 33期号:2页码:733-740 |
| 关键词 | The Belnap logic the modality lattice distributivity of a deduction system modularity |
| ISSN号 | 1064-1246 |
| DOI | 10.3233/JIFS-161891 |
| 英文摘要 | Given a lattice L, an L-modalized propositional logic will be proposed in which each element a is an element of L is associated with a modality [a], and a Gentzen-typed deduction system G(L) will be given so that the the system is sound and complete with the L-valued semantics, where [a] A means that the truth-value of formula A is a. Moreover, the distributivity and modularity of G(L) will be discussed. |
| 资助项目 | State Key Laboratory of Software Development Environment[SKLSDE-2010KF-06] ; Beijing University of Aeronautics and Astronautics ; National Basic Research Program of China (973 Program)[2005CB321901] |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000406149900006 |
| 出版者 | IOS PRESS |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/6602]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | Wang Yuhui |
| 作者单位 | 1.Univ Chinese Acad Sci, Sch Comp & Control Engn, Beijing, Peoples R China 2.Beijing Univ Aeronaut & Astronaut, State Key Lab Software Dev Environm, Beijing, Peoples R China 3.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing, Peoples R China |
| 推荐引用方式 GB/T 7714 | Li Wei,Sui Yuefei,Wang Yuhui. The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L)[J]. JOURNAL OF INTELLIGENT & FUZZY SYSTEMS,2017,33(2):733-740. |
| APA | Li Wei,Sui Yuefei,&Wang Yuhui.(2017).The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L).JOURNAL OF INTELLIGENT & FUZZY SYSTEMS,33(2),733-740. |
| MLA | Li Wei,et al."The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L)".JOURNAL OF INTELLIGENT & FUZZY SYSTEMS 33.2(2017):733-740. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。