Subdirectly Irreducible IKt-Algebras

被引：0
|
作者：
Aldo V. Figallo
Inés Pascual
Gustavo Pelaitay
机构：
[1] Universidad Nacional de San Juan,Instituto de Ciencias Básicas
[2] Universidad Nacional de San Juan,Departamento de Matemática
来源：
Studia Logica | 2017年 / 105卷
关键词：
Heyting algebras; Tense operators; IKt-algebras;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The IKt-algebras that we investigate in this paper were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. Now we characterize by topological methods the subdirectly irreducible IKt-algebras and particularly the simple IKt-algebras. Finally, we consider the particular cases of finite IKt-algebras and complete IKt-algebras.
引用
收藏
页码：673 / 701
页数：28
相关论文
共 50 条
12345