Dokdo filters and deductive systems of Sheffer stroke Hilbert algebras

Sun Shin Ahn; Hee Sik Kim; Seok Zun Song; Young Bae Jun

doi:10.29020/nybg.ejpam.v16i3.4872

Dokdo filters and deductive systems of Sheffer stroke Hilbert algebras

Sun Shin Ahn, Hee Sik Kim, Seok Zun Song, Young Bae Jun

Department of Mathematics Education

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	1862-1877
Number of pages	16
Journal	European Journal of Pure and Applied Mathematics
Volume	16
Issue number	3
DOIs	https://doi.org/10.29020/nybg.ejpam.v16i3.4872
State	Published - Jul 2023

Keywords

deductive system
Dokdo deductive system
Dokdo filter
filter
Sheffer stroke Hilbert algebra

Access to Document

10.29020/nybg.ejpam.v16i3.4872

Cite this

@article{7c568a9bd9c94059ab674b5bf3f0f003,

title = "Dokdo filters and deductive systems of Sheffer stroke Hilbert algebras",

abstract = "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.",

keywords = "deductive system, Dokdo deductive system, Dokdo filter, filter, Sheffer stroke Hilbert algebra",

author = "Ahn, {Sun Shin} and Kim, {Hee Sik} and Song, {Seok Zun} and Jun, {Young Bae}",

year = "2023",

month = jul,

doi = "10.29020/nybg.ejpam.v16i3.4872",

language = "English",

volume = "16",

pages = "1862--1877",

journal = "European Journal of Pure and Applied Mathematics",

issn = "1307-5543",

publisher = "New York Business Global",

number = "3",

}

TY - JOUR

T1 - Dokdo filters and deductive systems of Sheffer stroke Hilbert algebras

AU - Ahn, Sun Shin

AU - Kim, Hee Sik

AU - Song, Seok Zun

AU - Jun, Young Bae

PY - 2023/7

Y1 - 2023/7

N2 - 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.

AB - 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.

KW - deductive system

KW - Dokdo deductive system

KW - Dokdo filter

KW - filter

KW - Sheffer stroke Hilbert algebra

UR - http://www.scopus.com/inward/record.url?scp=85167662236&partnerID=8YFLogxK

U2 - 10.29020/nybg.ejpam.v16i3.4872

DO - 10.29020/nybg.ejpam.v16i3.4872

M3 - Article

AN - SCOPUS:85167662236

SN - 1307-5543

VL - 16

SP - 1862

EP - 1877

JO - European Journal of Pure and Applied Mathematics

JF - European Journal of Pure and Applied Mathematics

IS - 3

ER -

Dokdo filters and deductive systems of Sheffer stroke Hilbert algebras

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this