id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ejpam-4832	Roh, Eun Hwan; Yang, Eunsuk; Jun, Young Bae	Intuitionistic Fuzzy Ordered Subalgebras in Ordered BCI-algebras	2023	17	.pdf	application/pdf	7510	467	89	Let x, y ∈ X and (ti, si) ∈ (0.5, 1]×[0, 0.5) be such that x ∈ I∈ (t1,s1) , y ∈ I∈ (t2,s2) , e ≤e x and e ≤e y. Then X := (X, →, e, ≤X) is called an ordered BCI-algebra (briefly, OBCI-algebra) if it satisfies the following conditions: (∀x, y, z ∈ X)(e ≤X (x → y) → ((y → z) → (x → z))), (1) (∀x, y ∈ X)(e ≤X x → ((x → y) → y)), (2) (∀x ∈ X)(e ≤X x → x), (3) (∀x, y ∈ X)(e ≤X x → y, e ≤X y → x ⇒ x = y), (4) (∀x, y ∈ X)(x ≤X y ⇔ e ≤X x → y), (5) (∀x, y ∈ X)(e ≤X	cache/ejpam-4832.pdf	txt/ejpam-4832.txt