Constant-free substructural logics with associative exchange rules
Constant-free substructural logics with associative exchange rules
复制标题
具有关联交换规则的恒定自由子结构逻辑
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
関 隆宏
中科院分区：
文献类型：
--
作者：
関 隆宏
登录
查看更多内容
佐佐木钩不是一种[静态]隐含连接词，而是引入一种向后[及时]动态连接词来指定原因
影响因子：
1.4
作者：
B. Coecke;S. Smets
通讯作者：
S. Smets
影响因子：
1.4
作者：
D. Lehmann
通讯作者：
D. Lehmann
论量子逻辑的晶格结构
影响因子：
0.7
作者：
P. D. Finch
通讯作者：
P. D. Finch
蕴涵量子逻辑
影响因子：
0.5
作者：
Kenji Tokuo
通讯作者：
Kenji Tokuo
量子逻辑及相关结构的参考书目
DOI：
--
发表时间：
1992
期刊：
影响因子：
--
作者：
M. Pavičić
通讯作者：
M. Pavičić