ON SOME OF LOGICAL CLOSURES ON UNIVERSAL ALGEBRAS

被引:1
|
作者
Pinus, Alexandr Georgievich [1 ]
机构
[1] Novosibirsk State Tech Univ, Pr K Marxa 20, Novosibirsk 630073, Russia
关键词
algebraic geometry; universal algebra; closure operator;
D O I
10.17377/semi.2015.12.055
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
B. I. Plotkin has introduced some concepts of logical geometries on universal algebras. Here we study one of the related logical closure operators on sets of elements of an algebra definable by quantifier-free formulas using some quasiorder on the basic set of this algebra.
引用
收藏
页码:698 / 703
页数:6
相关论文
共 50 条
  • [41] COMMUTATIVE UNIVERSAL ALGEBRAS
    KLUKOVIT.L
    ACTA SCIENTIARUM MATHEMATICARUM, 1973, 34 (01): : 171 - 174
  • [42] Involutions on universal algebras
    Heatherly, HE
    Lee, EKS
    Wiegandt, R
    NEARRINGS, NEARFIELDS, AND K-LOOPS, 1997, 426 : 269 - 282
  • [43] ON COVERINGS OF UNIVERSAL ALGEBRAS
    GRATZER, G
    ARCHIV DER MATHEMATIK, 1967, 18 (02) : 113 - &
  • [44] CATEGORIES AND UNIVERSAL ALGEBRAS
    WILLIAMS, CR
    AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 455 - &
  • [45] Conditional logical entropy of fuzzy σ-algebras
    Ebrahimzadeh, Abolfazl
    Jamalzadeh, Javad
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 33 (02) : 1019 - 1026
  • [46] On Boolean Algebras of Conditionals and Their Logical Counterpart
    Flaminio, Tommaso
    Godo, Lluis
    Hosni, Hykel
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2017, 2017, 10369 : 246 - 256
  • [47] EFFECTIVE ALGEBRAS IN CONSTRAINT LOGICAL PROGRAMMING
    BLANC, G
    BLEUZENGUERNALEC, N
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1992, 26 (03): : 221 - 242
  • [48] Logical Connectives on Lattice Effect Algebras
    Foulis, D. J.
    Pulmannova, S.
    STUDIA LOGICA, 2012, 100 (06) : 1291 - 1315
  • [49] Logical Connectives on Lattice Effect Algebras
    D. J. Foulis
    S. Pulmannová
    Studia Logica, 2012, 100 : 1291 - 1315
  • [50] DECOMPOSITIONS OF UNIVERSAL-ALGEBRAS BY IDEMPOTENT ALGEBRAS
    ISKANDER, AA
    ALGEBRA UNIVERSALIS, 1984, 18 (03) : 274 - 294