Resource Reasoning in Duality Theoretic Form: Stone-Type Dualities for Bunched and Separation Logics
Resource Reasoning in Duality Theoretic Form: Stone-Type Dualities for Bunched and Separation Logics
复制标题
对偶理论形式的资源推理：成束和分离逻辑的石型对偶
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Docherty, S
中科院分区：
文献类型：
--
作者：
Docherty, S
影响因子：
0.6
作者：
Nikolaos Galatos;P. Jipsen
通讯作者：
P. Jipsen
相关逻辑代数的对偶性
DOI：
--
发表时间：
1996
期刊：
Studia Logica: An International Journal for Symbolic Logic
影响因子：
--
作者：
A. Urquhart
通讯作者：
A. Urquhart
广义伽罗瓦逻辑：非经典逻辑演算的关系语义
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
K. Bimbó;J. Dunn
通讯作者：
J. Dunn