CSpace

浏览/检索结果: 共1条,第1-1条 帮助

已选(0)清除 条数/页:   排序方式:
Monotonicity and nonmonotonicity in L-3-valued propositional logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2022, 卷号: 16, 期号: 4, 页码: 11
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载:35/0  |  提交时间:2022/06/21
sequent  multisequent  gentzen deduction system  monotonicity  nonmonotonicity