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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have