排序方式： 共有2条查询结果，搜索用时 0 毫秒
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