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
来源：
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA | 2015年 / 12卷
关键词：
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 条
12345