Propagation of Consistency in Some Systems of Paraconsistent Logic
Propagation of Consistency in Some Systems of Paraconsistent Logic
复制标题
某些次一致逻辑系统中的一致性传播
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
T.
中科院分区：
文献类型：
--
作者：
Omori;H.;Waragai;T.
登录
查看更多内容
PCL1及其相关系统的一些新结果
影响因子：
0.5
作者：
Toshiharu Waragai;Hitoshi Omori
通讯作者：
Hitoshi Omori
命题演算蕴涵片段扩展的完备性证明方法
DOI：
10.1305/ndjfl/1093883174
发表时间：
1980
期刊：
Notre Dame J. Formal Log.
影响因子：
--
作者：
D. Batens
通讯作者：
D. Batens
准一致性手册
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
D. Gabbay;J. Béziau;W. Carnielli
通讯作者：
W. Carnielli
C 系统分类
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
W. Carnielli;J. Martin Marcos
通讯作者：
J. Martin Marcos
一些命题演算的语义研究
DOI：
--
发表时间：
1977
期刊：
--
影响因子：
--
作者：
A. Loparic̆
通讯作者：
A. Loparic̆