The variety of involutive residuated lattices is generated by its finite members
The variety of involutive residuated lattices is generated by its finite members
复制标题
各种对合剩余格子是由其有限成员生成的
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
ガラトス ニコラオス
中科院分区：
文献类型：
--
作者：
N.Galatos;H.Ono;Nikolaos Galatos;宮崎 裕;宮崎 裕;Y. Miyazaki;Y. Miyazaki;Nikolaos Galatos;Nikolaos Galatos;Yutaka Miyazaki;Yutaka Miyazaki;小野 寛晰;H. Ono;田中 義人;関 隆宏;ガラトス ニコラオス;N. Galatos;ガラトス ニコラオス
登录
查看更多内容
交换剩余积分Pomonoid的变体及其剩余减约
DOI：
10.1006/jabr.1996.6834
发表时间：
1997
期刊：
影响因子：
--
作者：
Willem J. Blok;J. Raftery
通讯作者：
J. Raftery
论一些直觉模态逻辑
DOI：
--
发表时间：
1977
期刊：
影响因子：
--
作者：
H. Ono
通讯作者：
H. Ono
一些基于IC的模态演算
DOI：
10.1016/s0049-237x(08)71680-x
发表时间：
1965
期刊：
影响因子：
--
作者：
R. A. Bull
通讯作者：
R. A. Bull
残差有限性、有限可嵌入性和词问题之间的一些联系
DOI：
--
发表时间：
1969
期刊：
影响因子：
--
作者：
T. Evans
通讯作者：
T. Evans