id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ejpam-4872	Ahn, Sun Shin; Kim, Hee Sik; Song, Seok-Zun; Jun, Young Bae	Dokdo Filters and Deductive Systems of Sheffer Stroke Hilbert Algebras	2023	16	.pdf	application/pdf	5579	437	92	A Dokdo structure Dokf := (f̊ , fs, f̃) is called a Dokdo filter of (U,X ) if it satisfies: (∀x ∈ X) ( 1 (x,x) ∈ f̊(M,m) fs(1) ⊇ fs(x), f̃(1) ⊵ f̃(x) ) , (19) (∀x, y ∈ X)  x|(y|y) (y,y) ∈ f̊(M,m) fs(x|(y|y)) Every Dokdo filter Dokf := (f̊ , f s, f̃) of (U,X ) satisfies: (∀x, y ∈ X)  (x|(y|y))|(y|y) (x,x) ∈ f̊(M,m) fs((x|(y|y))|(y|y)) ⊇ f s(x) f̃((x|(y|y))|(y|y))	cache/ejpam-4872.pdf	txt/ejpam-4872.txt