Fibred Algebraic Semantics for a Variety of Non-Classical First-Order Logics and Topological Logical Translation
Fibred Algebraic Semantics for a Variety of Non-Classical First-Order Logics and Topological Logical Translation
复制标题
各种非经典一阶逻辑和拓扑逻辑转换的纤维代数语义
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Y. Maruyama
中科院分区：
文献类型：
--
作者：
Y. Maruyama
登录
查看更多内容
谓词逻辑的代数语义及其完整性（非经典逻辑及其克里普克语义）
DOI：
--
发表时间：
1995
期刊：
--
影响因子：
--
作者：
H. Ono
通讯作者：
H. Ono
全线性逻辑的关系语义
DOI：
10.1016/j.jal.2013.07.005
发表时间：
2014
期刊：
J. Appl. Log.
影响因子：
--
作者：
Dion Coumans;M. Gehrke;L. V. Rooijen
通讯作者：
L. V. Rooijen
有限 PCFG 的否定消除（书籍章节）
DOI：
--
发表时间：
2005
期刊：
Logic-based Program Synthesis and Transformation, Springer LNCS 3573
影响因子：
--
作者：
Sato;T.;Kameya;Y
通讯作者：
Y
子结构逻辑的格利文科定理
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕;宮崎 裕;Y. Miyazaki;Y. Miyazaki;Nikolaos Galatos;Nikolaos Galatos;Yutaka Miyazaki;Yutaka Miyazaki;小野 寛晰;H. Ono;田中 義人;関 隆宏;ガラトス ニコラオス;N. Galatos;ガラトス ニコラオス;N. Galatos;小野 寛晰;H. Ono;小野 寛晰;H. Ono;Hiroakira Ono;ガラトス ニコラオス;小野 寛晰;宮崎 裕;Y. Miyazaki;ガラトス ニコラオス
通讯作者：
ガラトス ニコラオス
三重理论
DOI：
10.1017/s0305004100057534
发表时间：
1980
影响因子：
0.8
作者：
J.;M.;É.;Hyland;T. P.;Johnstone;A. Pitts
通讯作者：
A. Pitts