排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
Two types of multiple-conclusion systems 总被引:1,自引:0,他引:1
2.
The main goal of the paper is to suggest some analytic proof systems for LC and its finite-valued counterparts which are suitable for proof-search. This goal is achieved through following the general Rasiowa-Sikorski methodology for constructing analytic proof systems for semantically-defined logics. All the systems presented here are terminating, contraction-free, and based on invertible rules, which have a local character and at most two premises. 相似文献
1