The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L)

doi:10.3233/JIFS-161891

	The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system G(L)
	Li Wei 1; Sui Yuefei 2; Wang Yuhui 2,3
	2017
发表期刊	JOURNAL OF INTELLIGENT & FUZZY SYSTEMS
ISSN	1064-1246
卷号	33 期号:2 页码:733-740
摘要	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.
关键词	The Belnap logic the modality lattice distributivity of a deduction system modularity
DOI	10.3233/JIFS-161891
收录类别	SCI
语种	英语
资助项目	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类目	Computer Science, Artificial Intelligence
WOS记录号	WOS:000406149900006
出版者	IOS PRESS
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/6603
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Wang Yuhui
作者单位	1.Beijing Univ Aeronaut & Astronaut, State Key Lab Software Dev Environm, Beijing, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing, Peoples R China 3.Univ Chinese Acad Sci, Sch Comp & Control Engn, 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.