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