Dokdo filters and deductive systems of Sheffer stroke Hilbert algebras
Citations

WEB OF SCIENCE

1
Citations

SCOPUS

2

초록

To investigate the filter and deductive system of the Schaefer stroke Hilbert algebra using the Dokdo structure, the concept of Dokdo filter and Dokdo deductive system is defined, examples are given, and various properties are investigated. The Dokdo filter is formed by attaching appropriate conditions to the given Dokdo structure. Characterization of Dokdo filter is studied. Dokdo filters related to filters are constructed. Dokdo filter and Dokdo deductive system turn out to be the same concept. © 2023 EJPAM All rights reserved.

키워드

deductive systemDokdo deductive systemDokdo filterfilterSheffer stroke Hilbert algebra
제목
Dokdo filters and deductive systems of Sheffer stroke Hilbert algebras
저자
Ahn, Sun ShinKim, Hee SikSong, Seok-ZunJun, Young Bae
DOI
10.29020/nybg.ejpam.v16i3.4872
발행일
2023-07
유형
Article
저널명
European Journal of Pure and Applied Mathematics
16
3
페이지
1862 ~ 1877