Relation between Sheffer stroke and Hilbert algebras

被引：22

作者：

Oner, T. ^{[1
]}

Katican, T. ^{[1
]}

Saeid, A. B. Borumand ^{[2
]}

机构：

[1] Ege Univ, Dept Math, TR-35100 Izmir, Turkey

[2] Shahid Bahonar Univ Kerman, Fac Math & Comp, Dept Pure Math, Kerman, Iran

来源：

CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS | 2021年 / 14卷 / 01期

关键词：

Hilbert algebra; Sheffer stroke; Sheffer stroke Hilbert algebra;

D O I：

10.29252/cgasa.14.1.245

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper, we introduce a Sheffer stroke Hilbert algebra by giving definitions of Sheffer stroke and a Hilbert algebra. After it is shown that the axioms of Sheffer stroke Hilbert algebra are independent, it is given some properties of this algebraic structure. Then it is stated the relationship between Sheffer stroke Hilbert algebra and Hilbert algebra by defining a unary operation on Sheffer stroke Hilbert algebra. Also, it is presented deductive system and ideal of this algebraic structure. It is defined an ideal generated by a subset of a Sheffer stroke Hilbert algebra, and it is constructed a new ideal of this algebra by adding an element of this algebra to its ideal.

引用

页码：245 / 268

页数：24

共 14 条

[1] Abbott J. C., 1967, B MATH R S ROUMAINE, V11, P3
[2] Chajda I., 2005, ACTA U PALACKI OLOMU, V44, P19
[3] Cornish W. H., 1980, MATH SEMINAR NOTES, V8, P455
[4] Diego A, 1966, COLLECTION LOGIQUE M, VXXI
[5] Henkin L., 1950, FUND MATH, V37, P63
[6] Idziak P. M., 1984, Math. Japonica, V29, P839
[7] Iorgulescu A., 2008, Algebras of Logic as BCK Algebras
[8] Is6ki K., 1978, Math, V23, P1
[9] Jun Y. B., 1996, Soochow. J. Math., V22, P477
[10] Short single axioms for Boolean algebra
McCune, W
Veroff, R
Fitelson, B
Harris, K
Feist, A
Wos, L
[J]. JOURNAL OF AUTOMATED REASONING, 2002, 29 (01) : 1 - 16

← 1 2 →