Monotonicity and nonmonotonicity in L-3-valued propositional logic

doi:10.1007/s11704-021-0382-0

	Monotonicity and nonmonotonicity in L-3-valued propositional logic
	Li, Wei 1; Sui, Yuefei 2,3
	2022-08-01
发表期刊	FRONTIERS OF COMPUTER SCIENCE
ISSN	2095-2228
卷号	16 期号:4 页码:11
摘要	A sequent is a pair (Gamma, Delta), which is true under an assignment if either some formula in Gamma is false, or some formula in Delta is true. In L-3-valued propositional logic, a multisequent is a triple Delta divide Theta divide Gamma, which is true under an assignment if either some formula in Delta has truth-value t, or some formula in Theta has truth-value m, or some formula in Gamma has truth-value f. There is a sound, complete and monotonic Gentzen deduction system G for sequents. Dually, there is a sound, complete and nonmonotonic Gentzen deduction system G ' for co-sequents Delta: Theta: Gamma. By taking different quantifiers some or every, there are 8 kinds of definitions of validity of multisequent Delta divide Theta divide Gamma and 8 kinds of definitions of validity of co-multisequent Delta: Theta: Gamma, and correspondingly there are 8 sound and complete Gentzen deduction systems for sequents and 8 sound and complete Gentzen deduction systems for co-sequents. Correspondingly their monotonicity is discussed.
关键词	sequent multisequent gentzen deduction system monotonicity nonmonotonicity
DOI	10.1007/s11704-021-0382-0
收录类别	SCI
语种	英语
资助项目	Open Fund of the State Key Laboratory of Software Development Environment[SKLSDE2010KF-06] ; Beijing University of Aeronautics and Astronautics ; National Basic Research Program of China (973 Program)[2005CB321901]
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000719308300001
出版者	HIGHER EDUCATION PRESS
引用统计	被引频次：1[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/18100
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Sui, Yuefei
作者单位	1.Beihang Univ, State Key Lab Software Dev Environm, Beijing 100083, Peoples R China 2.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China 3.Univ Chinese Acad Sci, Sch Comp Sci & Technol, Beijing 100049, Peoples R China
推荐引用方式 GB/T 7714	Li, Wei,Sui, Yuefei. Monotonicity and nonmonotonicity in L-3-valued propositional logic[J]. FRONTIERS OF COMPUTER SCIENCE,2022,16(4):11.
APA	Li, Wei,&Sui, Yuefei.(2022).Monotonicity and nonmonotonicity in L-3-valued propositional logic.FRONTIERS OF COMPUTER SCIENCE,16(4),11.
MLA	Li, Wei,et al."Monotonicity and nonmonotonicity in L-3-valued propositional logic".FRONTIERS OF COMPUTER SCIENCE 16.4(2022):11.