Dokdo Filters and Deductive Systems of Sheffer Stroke Hilbert Algebras
-
Published:2023-07-30
Issue:3
Volume:16
Page:1862-1877
-
ISSN:1307-5543
-
Container-title:European Journal of Pure and Applied Mathematics
-
language:
-
Short-container-title:Eur. J. Pure Appl. Math.
Author:
Ahn Sun Shin,Kim Hee Sik,Song Seok-Zun,Jun Young Bae
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. The 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.
Publisher
New York Business Global LLC
Subject
Applied Mathematics,Geometry and Topology,Numerical Analysis,Statistics and Probability,Algebra and Number Theory,Theoretical Computer Science