Representations of Sheffer stroke algebras and Visser algebras

被引:4
作者
Molkhasi, Ali [1 ]
机构
[1] Farhangian Univ Iran Tabriz, Fac Math Sci, Dept Math, Tabriz, Iran
关键词
Sheffer stroke; Visser algebras; Strongly algebraically closed algebra; MacNeille completion; COMPLETIONS;
D O I
10.1007/s00500-021-05777-3
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We introduce the notion of q'-compactness for Sheffer stroke basic algebras and Visser algebras. Our goal is to determine when induced lattice of a Sheffer stroke basic algebra and a Visser algebra is a strongly algebraically closed algebra, and we find the condition that the lattices of complete congruences relations on a Sheffer stroke basic algebra are weakly relatively pseudocomplemented. In particular, an open question proposed by A. Di-Nola, G. Georgescu and A. Iorgulescu about the connections of dually Brouwerian pseudo-BL-algebras with other algebraic structures in Di Nola et al. (Mult Val Logic 8:717-750, 2002) is answered.
引用
收藏
页码:8533 / 8538
页数:6
相关论文
共 39 条
[1]  
[Anonymous], 1964, Journal of the London Mathematical Society
[2]  
[Anonymous], 2007, RES EXPOSITION MATH
[3]   Basic propositional calculus I [J].
Ardeshir, M ;
Ruitenburg, W .
MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (03) :317-343
[4]  
Ardeshir M, 1995, THESIS MARQUTTE U MI
[5]  
Balbes R., 1973, Fund. Math, VLXXVIII, P119, DOI [10.4064/fm-78-2-119-131, DOI 10.4064/FM-78-2-119-131]
[6]   Cauchy completions of MV-algebras [J].
Ball, RN ;
Georgescu, G ;
Leustean, I .
ALGEBRA UNIVERSALIS, 2002, 47 (04) :367-407
[7]  
Bezhanishvili G, 2009, GEORGIAN MATH J, V16, P29
[8]   Comparison of MacNeille, Canonical, and Profinite Completions [J].
Bezhanishvili, Guram ;
Vosmaer, Jacob .
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2008, 25 (04) :299-320
[9]  
Birkhoff G., 1967, American Mathematical Society Colloquium Publications, V25
[10]  
Chajda I., 2004, DISCUSSIONES MATH GE, V24, P32