Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic

doi:10.1007/s11704-020-9076-2

	Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic
	Cao, Cungen 1; Hu, Lanxi 1,2; Sui, Yuefei 1,2
	2021-01-22
发表期刊	FRONTIERS OF COMPUTER SCIENCE
ISSN	2095-2228
卷号	15 期号:3 页码:13
摘要	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\|Theta\|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. Correspondingly there is a sound and complete Gentzen deduction system G for multisequents which is monotonic. Dually, a co-multisequent is a triple Delta: Theta: Gamma, which is valid if there is an assignment v in which each formula in Delta has truth-value not equal t, each formula in Theta has truth-value not equal m, and each formula in Gamma has truth-value not equal f. Correspondingly there is a sound and complete Gentzen deduction system G(-) for co-multisequents which is nonmonotonic.
关键词	three-valued logic multisequent co-multisequent monotonicity Gentzen deduction system
DOI	10.1007/s11704-020-9076-2
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Information Systems ; Computer Science, Software Engineering ; Computer Science, Theory & Methods
WOS记录号	WOS:000613007200001
出版者	HIGHER EDUCATION PRESS
引用统计
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/16245
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	Hu, Lanxi
作者单位	1.Chinese Acad Sci, Inst Comp Technol, Key Lab Intelligent Informat Proc, Beijing 100190, Peoples R China 2.Univ Chinese Acad Sci, Sch Comp Sci & Technol, Beijing 100049, Peoples R China
推荐引用方式 GB/T 7714	Cao, Cungen,Hu, Lanxi,Sui, Yuefei. Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic[J]. FRONTIERS OF COMPUTER SCIENCE,2021,15(3):13.
APA	Cao, Cungen,Hu, Lanxi,&Sui, Yuefei.(2021).Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic.FRONTIERS OF COMPUTER SCIENCE,15(3),13.
MLA	Cao, Cungen,et al."Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic".FRONTIERS OF COMPUTER SCIENCE 15.3(2021):13.