Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
复制标题
通过 Birkhoff 对偶性和余代数有限生成自由 Heyting 代数
DOI：
10.2168/lmcs-7(2:9)2011
复制
发表时间：
2011
影响因子：
0.6
通讯作者：
Bezhanishvili N
中科院分区：
文献类型：
--
作者：
Bezhanishvili N
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
Conference on Algebra and Coalgebra in Computer Science
影响因子：
--
作者：
H. Bruun;Dion Coumans;M. Gehrke
通讯作者：
M. Gehrke
格子的分裂
DOI：
--
发表时间：
1943
期刊：
影响因子：
--
作者：
P. M. Whitman
通讯作者：
P. M. Whitman
超越排名 1：代数语义和代数逻辑的有限模型
DOI：
10.1007/978-3-540-78499-9_6
发表时间：
2008
期刊：
Games Econ. Behav.
影响因子：
--
作者：
D. Pattinson;Lutz Schröder
通讯作者：
Lutz Schröder
正模态逻辑的余代数观点
影响因子：
1.1
作者：
A. Palmigiano
通讯作者：
A. Palmigiano
连续性、自由性和过滤
DOI：
--
发表时间：
2010
期刊：
J. Appl. Non Class. Logics
影响因子：
--
作者：
S. Ghilardi
通讯作者：
S. Ghilardi