许文艳
最后更新时间:..
点击次数:
所属单位:数学与统计学院
发表刊物:JOURNAL OF APPLIED LOGIC
第一作者:Xu, Wenyan
论文类型:Article
论文编号:SCI WOS:000377233100003
卷号:16
页面范围:37-49
ISSN号:1570-8683
是否译文:否
发表时间:2016-01-01
收录刊物:SCI
上一条:A propositional system induced by Japaridze’s approach to IF logic
下一条:A formal system for propositional extended IF logic