Equality and Apartness in Bi-intuitinistic Logic
Equality and Apartness in Bi-intuitinistic Logic
复制标题
双直觉逻辑中的平等与分离
DOI：
10.21146/2074-1472-2021-27-1-82-106
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Paolo Maffezioli
中科院分区：
文献类型：
--
作者：
Luca Tranchini;Paolo Maffezioli
登录
查看更多内容
对直觉逻辑的某种扩展的代数和克里普克式方法
DOI：
--
发表时间：
1980
期刊：
影响因子：
--
作者：
C. Rauszer
通讯作者：
C. Rauszer
直觉相异性和序关系的序贯微积分证明理论
影响因子：
0.3
作者：
Sara Negri
通讯作者：
Sara Negri
可构造的虚假
DOI：
--
发表时间：
1949
期刊：
Journal of Symbolic Logic (JSL)
影响因子：
--
作者：
D. Nelson
通讯作者：
D. Nelson
具有分离性的一阶反直觉逻辑
DOI：
--
发表时间：
2004
期刊：
影响因子：
--
作者：
A. B. Brunner
通讯作者：
A. B. Brunner
DOI：
--
发表时间：
1979
期刊：
影响因子：
--
作者：
D. Dalen;R. Statman
通讯作者：
R. Statman