×

关于\(k \)-循环\(SHn \)-代数。 (英语) Zbl 1291.06003号

摘要:在本文中,我们考虑了一类新的代数,称为循环代数,其中(a)是一个(SHn)代数,(T)是一种格自同态,使得(T^k(x)=x),对于所有的(x,k)都是一个正整数。本文的主要目的是证明(k)-循环(SHn)-代数的Priestley对偶定理。

MSC公司:

2005年6月 具有附加运算的布尔代数(可对角化代数等)
08C20号 代数类的自然对偶
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

参考文献:

[1] Gr.C.Moisil,“代数schemelor cu elemente ventil”,Revista Universitatii C.I.Parhon si a Politehnicii Bucaresti Seria St.Nat.4-5,9-42(1954)。
[2] Gr.C.Moisil,Essais sur les Logiques Non Chrysippiennes,布加勒斯特研究院,1972年·Zbl 0241.0206号
[3] A.Monteiro,《Boole Involutivas代数》,苏尔国立大学,巴伊亚·布兰卡,1969年。
[4] A.Monteiro,Algébres de Boole Cyclques,Revue Roumaine de Math。Pures et Appliquess 23,71-76(1978)。
[5] M.Abad,“Estructuras cíclica y monádica de unálgebra deŁukasiewicz n-valente”,《Logica Matemática注释》36,CD-ROM(1988)。
[6] L.Iturrioz,“Algébres de Heyting trivalentes involutionives”,《Logica Matemática笔记》31,CD-ROM(1974)·Zbl 0307.02039号
[7] L.Iturrioz,“Łukasiewicz与对称Heyting代数”,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 23131-136(1977)·Zbl 0373.02042号 ·doi:10.1002/malq.19770230706
[8] L.Iterrioz,对称Heyting代数上的模态算子,泛代数和应用,巴拿赫中心出版物9,编辑T.Traczyk,第289-303页,PWN-Polish Scientific Publishers,华沙,1982年。
[9] L.Iturrioz,“带算子的对称Heyting代数”,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 29,33-70(1983)·兹伯利0537.03049 ·doi:10.1002/malq.19830290202
[10] L.Iturrioz和V.Sofronie-Stokkermans,“SHn-algebration(n阶对称Heyting代数的缩写)”,载于:多值结构地图集,COST Action 15,eds.L.Iterrioz,E.Orłowska,E.Turunne,pp.1235-9599,坦佩雷科技大学,坦佩里,2000年。
[11] V.Sofroni-Stockermans,“SHn-代数的Priestley对偶性及其在研究SHn-逻辑的Kripke型模型中的应用”,《多值逻辑》,国际期刊5(4),281-305(1999)。
[12] A.Monteiro,“Heyting symétriques之路”,葡萄牙数学39,1-237(1980)。
[13] L.L.Esakia,“拓扑克里普克模型”,苏联数学。多克。15, 147-151 (1974). ·Zbl 0296.02030号
[14] L.L.Esakia,“直觉主义逻辑和Browerian格中的二元论问题”,《国际会议逻辑、方法论和科学哲学》第五卷第1期,第7-8页(1975年)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。