Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic
文献类型：期刊论文
| 作者 | Cao, Cungen1; Hu, Lanxi1,2; Sui, Yuefei1,2 |
| 刊名 | FRONTIERS OF COMPUTER SCIENCE
 |
| 出版日期 | 2021-01-22 |
| 卷号 | 15期号:3页码:13 |
| 关键词 | three-valued logic multisequent co-multisequent monotonicity Gentzen deduction system |
| ISSN号 | 2095-2228 |
| DOI | 10.1007/s11704-020-9076-2 |
| 英文摘要 | 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. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000613007200001 |
| 出版者 | HIGHER EDUCATION PRESS |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/16244]  |
| 专题 | 中国科学院计算技术研究所期刊论文_英文 |
| 通讯作者 | 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。