Continuity, freeness, and filtrations
Continuity, freeness, and filtrations
复制标题
连续性、自由性和过滤
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
S. Ghilardi
中科院分区：
文献类型：
--
作者：
S. Ghilardi
连续形态在命题模态逻辑中所扮演的作用：事实证明，它们与过滤和合适的自由代数概念的合适变体有关。我们还采用（标准）有限生成的自由？4-Elgebras的增量结构中使用连续的形态。
The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free algebra. We also employ continuous morphisms in incremental constructions of (standard) finitely generated free ?4-algebras.
通过 Birkhoff 对偶性和余代数有限生成自由 Heyting 代数
影响因子：
0.6
作者：
Bezhanishvili N
通讯作者：
Bezhanishvili N