id	sid	tid	token	lemma	pos
ejpam-5030	1	1	european	european	PROPN
ejpam-5030	1	2	journal	journal	PROPN
ejpam-5030	1	3	of	of	ADP
ejpam-5030	1	4	pure	pure	ADJ
ejpam-5030	1	5	and	and	CCONJ
ejpam-5030	1	6	applied	apply	VERB
ejpam-5030	1	7	mathematics	mathematic	NOUN
ejpam-5030	1	8	vol	vol	NOUN
ejpam-5030	1	9	.	.	PROPN
ejpam-5030	2	1	17	17	NUM
ejpam-5030	2	2	,	,	PUNCT
ejpam-5030	2	3	no	no	INTJ
ejpam-5030	2	4	.	.	NOUN
ejpam-5030	2	5	1	1	NUM
ejpam-5030	2	6	,	,	PUNCT
ejpam-5030	2	7	2024	2024	NUM
ejpam-5030	2	8	,	,	PUNCT
ejpam-5030	2	9	426	426	NUM
ejpam-5030	2	10	-	-	SYM
ejpam-5030	2	11	434	434	NUM
ejpam-5030	2	12	issn	issn	PROPN
ejpam-5030	2	13	1307	1307	NUM
ejpam-5030	2	14	-	-	SYM
ejpam-5030	2	15	5543	5543	NUM
ejpam-5030	2	16	–	–	PUNCT
ejpam-5030	2	17	ejpam.com	ejpam.com	X
ejpam-5030	2	18	published	publish	VERB
ejpam-5030	2	19	by	by	ADP
ejpam-5030	2	20	new	new	PROPN
ejpam-5030	2	21	york	york	PROPN
ejpam-5030	2	22	business	business	PROPN
ejpam-5030	2	23	global	global	ADJ
ejpam-5030	2	24	more	more	ADJ
ejpam-5030	2	25	results	result	NOUN
ejpam-5030	2	26	on	on	ADP
ejpam-5030	2	27	intuitionistic	intuitionistic	ADJ
ejpam-5030	2	28	fuzzy	fuzzy	ADJ
ejpam-5030	2	29	ideals	ideal	NOUN
ejpam-5030	2	30	of	of	ADP
ejpam-5030	2	31	be	be	AUX
ejpam-5030	2	32	-	-	PUNCT
ejpam-5030	2	33	algebras	algebras	PROPN
ejpam-5030	2	34	mohamed	mohamed	PROPN
ejpam-5030	2	35	e	e	PROPN
ejpam-5030	2	36	elnair1,2	elnair1,2	PROPN
ejpam-5030	2	37	1	1	NUM
ejpam-5030	2	38	department	department	NOUN
ejpam-5030	2	39	of	of	ADP
ejpam-5030	2	40	mathematics	mathematic	NOUN
ejpam-5030	2	41	,	,	PUNCT
ejpam-5030	2	42	faculty	faculty	NOUN
ejpam-5030	2	43	of	of	ADP
ejpam-5030	2	44	science	science	NOUN
ejpam-5030	2	45	,	,	PUNCT
ejpam-5030	2	46	university	university	NOUN
ejpam-5030	2	47	of	of	ADP
ejpam-5030	2	48	tabuk	tabuk	PROPN
ejpam-5030	2	49	,	,	PUNCT
ejpam-5030	2	50	p.o	p.o	PROPN
ejpam-5030	2	51	.	.	PROPN
ejpam-5030	2	52	box	box	PROPN
ejpam-5030	2	53	741	741	NUM
ejpam-5030	2	54	,	,	PUNCT
ejpam-5030	2	55	tabuk	tabuk	NOUN
ejpam-5030	2	56	71491	71491	NUM
ejpam-5030	2	57	,	,	PUNCT
ejpam-5030	2	58	saudi	saudi	PROPN
ejpam-5030	2	59	arabia	arabia	PROPN
ejpam-5030	2	60	2	2	NUM
ejpam-5030	2	61	department	department	NOUN
ejpam-5030	2	62	of	of	ADP
ejpam-5030	2	63	mathematics	mathematics	PROPN
ejpam-5030	2	64	and	and	CCONJ
ejpam-5030	2	65	physics	physics	PROPN
ejpam-5030	2	66	,	,	PUNCT
ejpam-5030	2	67	gezira	gezira	PROPN
ejpam-5030	2	68	university	university	PROPN
ejpam-5030	2	69	,	,	PUNCT
ejpam-5030	2	70	p.	p.	PROPN
ejpam-5030	2	71	o.	o.	PROPN
ejpam-5030	2	72	box	box	PROPN
ejpam-5030	2	73	20	20	NUM
ejpam-5030	2	74	,	,	PUNCT
ejpam-5030	2	75	sudan	sudan	PROPN
ejpam-5030	2	76	abstract	abstract	NOUN
ejpam-5030	2	77	.	.	PUNCT
ejpam-5030	3	1	red	red	ADJ
ejpam-5030	3	2	this	this	DET
ejpam-5030	3	3	paper	paper	NOUN
ejpam-5030	3	4	explores	explore	VERB
ejpam-5030	3	5	the	the	DET
ejpam-5030	3	6	intuitionistic	intuitionistic	ADJ
ejpam-5030	3	7	fuzzy	fuzzy	ADJ
ejpam-5030	3	8	ideals	ideal	NOUN
ejpam-5030	3	9	in	in	ADP
ejpam-5030	3	10	be	be	NOUN
ejpam-5030	3	11	-	-	PUNCT
ejpam-5030	3	12	algebras	algebra	VERB
ejpam-5030	3	13	and	and	CCONJ
ejpam-5030	3	14	establishes	establish	VERB
ejpam-5030	3	15	several	several	ADJ
ejpam-5030	3	16	new	new	ADJ
ejpam-5030	3	17	results	result	NOUN
ejpam-5030	3	18	related	relate	VERB
ejpam-5030	3	19	to	to	ADP
ejpam-5030	3	20	their	their	PRON
ejpam-5030	3	21	structure	structure	NOUN
ejpam-5030	3	22	.	.	PUNCT
ejpam-5030	4	1	we	we	PRON
ejpam-5030	4	2	investigate	investigate	VERB
ejpam-5030	4	3	the	the	DET
ejpam-5030	4	4	fundamental	fundamental	ADJ
ejpam-5030	4	5	concepts	concept	NOUN
ejpam-5030	4	6	and	and	CCONJ
ejpam-5030	4	7	properties	property	NOUN
ejpam-5030	4	8	of	of	ADP
ejpam-5030	4	9	intuitionistic	intuitionistic	ADJ
ejpam-5030	4	10	fuzzy	fuzzy	ADJ
ejpam-5030	4	11	ideals	ideal	NOUN
ejpam-5030	4	12	and	and	CCONJ
ejpam-5030	4	13	provide	provide	VERB
ejpam-5030	4	14	characterizations	characterization	NOUN
ejpam-5030	4	15	of	of	ADP
ejpam-5030	4	16	an	an	DET
ejpam-5030	4	17	intuitionistic	intuitionistic	ADJ
ejpam-5030	4	18	fuzzy	fuzzy	ADJ
ejpam-5030	4	19	ideal	ideal	NOUN
ejpam-5030	4	20	in	in	ADP
ejpam-5030	4	21	be	be	NOUN
ejpam-5030	4	22	-	-	PUNCT
ejpam-5030	4	23	algebras	algebras	X
ejpam-5030	4	24	.	.	PUNCT
ejpam-5030	5	1	our	our	PRON
ejpam-5030	5	2	study	study	NOUN
ejpam-5030	5	3	focuses	focus	VERB
ejpam-5030	5	4	on	on	ADP
ejpam-5030	5	5	examining	examine	VERB
ejpam-5030	5	6	the	the	DET
ejpam-5030	5	7	fundamental	fundamental	ADJ
ejpam-5030	5	8	concepts	concept	NOUN
ejpam-5030	5	9	and	and	CCONJ
ejpam-5030	5	10	properties	property	NOUN
ejpam-5030	5	11	of	of	ADP
ejpam-5030	5	12	these	these	DET
ejpam-5030	5	13	ideals	ideal	NOUN
ejpam-5030	5	14	and	and	CCONJ
ejpam-5030	5	15	provides	provide	VERB
ejpam-5030	5	16	characterizations	characterization	NOUN
ejpam-5030	5	17	of	of	ADP
ejpam-5030	5	18	intuitionistic	intuitionistic	ADJ
ejpam-5030	5	19	fuzzy	fuzzy	ADJ
ejpam-5030	5	20	ideals	ideal	NOUN
ejpam-5030	5	21	in	in	ADP
ejpam-5030	5	22	be	be	NOUN
ejpam-5030	5	23	-	-	PUNCT
ejpam-5030	5	24	algebras	algebras	ADJ
ejpam-5030	5	25	.	.	PUNCT
ejpam-5030	6	1	2020	2020	NUM
ejpam-5030	6	2	mathematics	mathematics	PROPN
ejpam-5030	6	3	subject	subject	NOUN
ejpam-5030	6	4	classifications	classification	NOUN
ejpam-5030	6	5	:	:	PUNCT
ejpam-5030	6	6	06f35	06f35	NUM
ejpam-5030	6	7	,	,	PUNCT
ejpam-5030	6	8	03g25	03g25	NUM
ejpam-5030	6	9	,	,	PUNCT
ejpam-5030	6	10	08a72	08a72	NOUN
ejpam-5030	6	11	key	key	ADJ
ejpam-5030	6	12	words	word	NOUN
ejpam-5030	6	13	and	and	CCONJ
ejpam-5030	6	14	phrases	phrase	NOUN
ejpam-5030	6	15	:	:	PUNCT
ejpam-5030	6	16	be	be	AUX
ejpam-5030	6	17	-	-	PUNCT
ejpam-5030	6	18	algebra	algebra	ADJ
ejpam-5030	6	19	,	,	PUNCT
ejpam-5030	6	20	fuzzy	fuzzy	ADJ
ejpam-5030	6	21	be	be	NOUN
ejpam-5030	6	22	-	-	PUNCT
ejpam-5030	6	23	algebra	algebra	ADJ
ejpam-5030	6	24	,	,	PUNCT
ejpam-5030	6	25	fuzzy	fuzzy	ADJ
ejpam-5030	6	26	ideal	ideal	NOUN
ejpam-5030	6	27	,	,	PUNCT
ejpam-5030	6	28	intuitionistic	intuitionistic	ADJ
ejpam-5030	6	29	fuzzy	fuzzy	ADJ
ejpam-5030	6	30	ideal	ideal	NOUN
ejpam-5030	6	31	,	,	PUNCT
ejpam-5030	6	32	upper	upper	ADJ
ejpam-5030	6	33	set	set	NOUN
ejpam-5030	6	34	1	1	NUM
ejpam-5030	6	35	.	.	PUNCT
ejpam-5030	7	1	introduction	introduction	NOUN
ejpam-5030	7	2	intuitionistic	intuitionistic	ADJ
ejpam-5030	7	3	fuzzy	fuzzy	ADJ
ejpam-5030	7	4	sets	set	NOUN
ejpam-5030	7	5	,	,	PUNCT
ejpam-5030	7	6	introduced	introduce	VERB
ejpam-5030	7	7	by	by	ADP
ejpam-5030	7	8	atanassov	atanassov	NOUN
ejpam-5030	8	1	[	[	X
ejpam-5030	8	2	5–7	5–7	NOUN
ejpam-5030	8	3	]	]	PUNCT
ejpam-5030	8	4	,	,	PUNCT
ejpam-5030	8	5	have	have	AUX
ejpam-5030	8	6	become	become	VERB
ejpam-5030	8	7	a	a	DET
ejpam-5030	8	8	significant	significant	ADJ
ejpam-5030	8	9	tool	tool	NOUN
ejpam-5030	8	10	in	in	ADP
ejpam-5030	8	11	dealing	deal	VERB
ejpam-5030	8	12	with	with	ADP
ejpam-5030	8	13	uncertainty	uncertainty	NOUN
ejpam-5030	8	14	and	and	CCONJ
ejpam-5030	8	15	vagueness	vagueness	NOUN
ejpam-5030	8	16	in	in	ADP
ejpam-5030	8	17	real	real	ADJ
ejpam-5030	8	18	-	-	PUNCT
ejpam-5030	8	19	world	world	NOUN
ejpam-5030	8	20	situations	situation	NOUN
ejpam-5030	8	21	.	.	PUNCT
ejpam-5030	9	1	the	the	DET
ejpam-5030	9	2	concept	concept	NOUN
ejpam-5030	9	3	of	of	ADP
ejpam-5030	9	4	intuitionistic	intuitionistic	ADJ
ejpam-5030	9	5	fuzzy	fuzzy	ADJ
ejpam-5030	9	6	sets	set	NOUN
ejpam-5030	9	7	extends	extend	VERB
ejpam-5030	9	8	the	the	DET
ejpam-5030	9	9	notion	notion	NOUN
ejpam-5030	9	10	of	of	ADP
ejpam-5030	9	11	fuzzy	fuzzy	ADJ
ejpam-5030	9	12	sets	set	NOUN
ejpam-5030	9	13	by	by	ADP
ejpam-5030	9	14	considering	consider	VERB
ejpam-5030	9	15	a	a	DET
ejpam-5030	9	16	non	non	ADJ
ejpam-5030	9	17	-	-	ADJ
ejpam-5030	9	18	membership	membership	ADJ
ejpam-5030	9	19	degree	degree	NOUN
ejpam-5030	9	20	in	in	ADP
ejpam-5030	9	21	addition	addition	NOUN
ejpam-5030	9	22	to	to	ADP
ejpam-5030	9	23	the	the	DET
ejpam-5030	9	24	membership	membership	NOUN
ejpam-5030	9	25	degree	degree	NOUN
ejpam-5030	9	26	.	.	PUNCT
ejpam-5030	10	1	the	the	DET
ejpam-5030	10	2	non	non	ADJ
ejpam-5030	10	3	-	-	ADJ
ejpam-5030	10	4	membership	membership	ADJ
ejpam-5030	10	5	degree	degree	NOUN
ejpam-5030	10	6	represents	represent	VERB
ejpam-5030	10	7	the	the	DET
ejpam-5030	10	8	extent	extent	NOUN
ejpam-5030	10	9	to	to	PART
ejpam-5030	10	10	which	which	PRON
ejpam-5030	10	11	an	an	DET
ejpam-5030	10	12	element	element	NOUN
ejpam-5030	10	13	does	do	AUX
ejpam-5030	10	14	not	not	PART
ejpam-5030	10	15	belong	belong	VERB
ejpam-5030	10	16	to	to	ADP
ejpam-5030	10	17	a	a	DET
ejpam-5030	10	18	particular	particular	ADJ
ejpam-5030	10	19	set	set	NOUN
ejpam-5030	10	20	,	,	PUNCT
ejpam-5030	10	21	and	and	CCONJ
ejpam-5030	10	22	this	this	DET
ejpam-5030	10	23	degree	degree	NOUN
ejpam-5030	10	24	can	can	AUX
ejpam-5030	10	25	reflect	reflect	VERB
ejpam-5030	10	26	human	human	ADJ
ejpam-5030	10	27	reasoning	reasoning	NOUN
ejpam-5030	10	28	more	more	ADV
ejpam-5030	10	29	accurately	accurately	ADV
ejpam-5030	10	30	.	.	PUNCT
ejpam-5030	11	1	since	since	SCONJ
ejpam-5030	11	2	their	their	PRON
ejpam-5030	11	3	introduction	introduction	NOUN
ejpam-5030	11	4	,	,	PUNCT
ejpam-5030	11	5	numerous	numerous	ADJ
ejpam-5030	11	6	mathematical	mathematical	ADJ
ejpam-5030	11	7	structures	structure	NOUN
ejpam-5030	11	8	inspired	inspire	VERB
ejpam-5030	11	9	by	by	ADP
ejpam-5030	11	10	intuitionistic	intuitionistic	ADJ
ejpam-5030	11	11	fuzzy	fuzzy	ADJ
ejpam-5030	11	12	sets	set	NOUN
ejpam-5030	11	13	have	have	AUX
ejpam-5030	11	14	been	be	AUX
ejpam-5030	11	15	proposed	propose	VERB
ejpam-5030	11	16	and	and	CCONJ
ejpam-5030	11	17	investigated	investigate	VERB
ejpam-5030	11	18	[	[	X
ejpam-5030	11	19	14	14	NUM
ejpam-5030	11	20	,	,	PUNCT
ejpam-5030	11	21	15	15	NUM
ejpam-5030	11	22	,	,	PUNCT
ejpam-5030	11	23	17	17	NUM
ejpam-5030	11	24	,	,	PUNCT
ejpam-5030	11	25	18	18	NUM
ejpam-5030	11	26	,	,	PUNCT
ejpam-5030	11	27	27	27	NUM
ejpam-5030	11	28	]	]	PUNCT
ejpam-5030	11	29	.	.	PUNCT
ejpam-5030	12	1	one	one	NUM
ejpam-5030	12	2	of	of	ADP
ejpam-5030	12	3	the	the	DET
ejpam-5030	12	4	recent	recent	ADJ
ejpam-5030	12	5	areas	area	NOUN
ejpam-5030	12	6	of	of	ADP
ejpam-5030	12	7	research	research	NOUN
ejpam-5030	12	8	in	in	ADP
ejpam-5030	12	9	the	the	DET
ejpam-5030	12	10	field	field	NOUN
ejpam-5030	12	11	of	of	ADP
ejpam-5030	12	12	intuitionistic	intuitionistic	ADJ
ejpam-5030	12	13	fuzzy	fuzzy	ADJ
ejpam-5030	12	14	sets	set	NOUN
ejpam-5030	12	15	is	be	AUX
ejpam-5030	12	16	the	the	DET
ejpam-5030	12	17	study	study	NOUN
ejpam-5030	12	18	of	of	ADP
ejpam-5030	12	19	intuitionistic	intuitionistic	ADJ
ejpam-5030	12	20	fuzzy	fuzzy	ADJ
ejpam-5030	12	21	subalgebras	subalgebra	NOUN
ejpam-5030	12	22	[	[	X
ejpam-5030	12	23	2	2	NUM
ejpam-5030	12	24	,	,	PUNCT
ejpam-5030	12	25	11	11	NUM
ejpam-5030	12	26	]	]	PUNCT
ejpam-5030	12	27	and	and	CCONJ
ejpam-5030	12	28	ideals	ideal	NOUN
ejpam-5030	12	29	[	[	X
ejpam-5030	12	30	1	1	NUM
ejpam-5030	12	31	,	,	PUNCT
ejpam-5030	12	32	3	3	NUM
ejpam-5030	12	33	,	,	PUNCT
ejpam-5030	12	34	12	12	NUM
ejpam-5030	12	35	,	,	PUNCT
ejpam-5030	12	36	26	26	NUM
ejpam-5030	12	37	]	]	PUNCT
ejpam-5030	12	38	in	in	ADP
ejpam-5030	12	39	be	be	NOUN
ejpam-5030	12	40	-	-	PUNCT
ejpam-5030	12	41	algebras	algebra	NOUN
ejpam-5030	12	42	.	.	PUNCT
ejpam-5030	13	1	bealgebras	bealgebras	PROPN
ejpam-5030	13	2	,	,	PUNCT
ejpam-5030	13	3	introduced	introduce	VERB
ejpam-5030	13	4	by	by	ADP
ejpam-5030	13	5	kim	kim	PROPN
ejpam-5030	13	6	and	and	CCONJ
ejpam-5030	13	7	kim	kim	PROPN
ejpam-5030	14	1	[	[	X
ejpam-5030	14	2	10	10	NUM
ejpam-5030	14	3	]	]	PUNCT
ejpam-5030	14	4	,	,	PUNCT
ejpam-5030	14	5	are	be	AUX
ejpam-5030	14	6	a	a	DET
ejpam-5030	14	7	generalization	generalization	NOUN
ejpam-5030	14	8	of	of	ADP
ejpam-5030	14	9	boolean	boolean	ADJ
ejpam-5030	14	10	algebras	algebra	NOUN
ejpam-5030	14	11	,	,	PUNCT
ejpam-5030	14	12	in	in	ADP
ejpam-5030	14	13	which	which	PRON
ejpam-5030	14	14	the	the	DET
ejpam-5030	14	15	complementation	complementation	NOUN
ejpam-5030	14	16	operation	operation	NOUN
ejpam-5030	14	17	is	be	AUX
ejpam-5030	14	18	replaced	replace	VERB
ejpam-5030	14	19	by	by	ADP
ejpam-5030	14	20	a	a	DET
ejpam-5030	14	21	weaker	weak	ADJ
ejpam-5030	14	22	negation	negation	NOUN
ejpam-5030	14	23	operation	operation	NOUN
ejpam-5030	14	24	that	that	PRON
ejpam-5030	14	25	satisfies	satisfy	VERB
ejpam-5030	14	26	weaker	weak	ADJ
ejpam-5030	14	27	versions	version	NOUN
ejpam-5030	14	28	of	of	ADP
ejpam-5030	14	29	the	the	DET
ejpam-5030	14	30	classical	classical	ADJ
ejpam-5030	14	31	de	de	PROPN
ejpam-5030	14	32	morgan	morgan	PROPN
ejpam-5030	14	33	’s	’s	PART
ejpam-5030	14	34	laws	law	NOUN
ejpam-5030	14	35	.	.	PUNCT
ejpam-5030	15	1	new	new	ADJ
ejpam-5030	15	2	concepts	concept	NOUN
ejpam-5030	15	3	on	on	ADP
ejpam-5030	15	4	be	be	AUX
ejpam-5030	15	5	-	-	PUNCT
ejpam-5030	15	6	algebras	algebra	NOUN
ejpam-5030	15	7	,	,	PUNCT
ejpam-5030	15	8	fuzzy	fuzzy	ADJ
ejpam-5030	15	9	be	be	NOUN
ejpam-5030	15	10	-	-	PUNCT
ejpam-5030	15	11	algebras	algebras	ADJ
ejpam-5030	15	12	and	and	CCONJ
ejpam-5030	15	13	intuitionistic	intuitionistic	ADJ
ejpam-5030	15	14	fuzzy	fuzzy	ADJ
ejpam-5030	15	15	be	be	NOUN
ejpam-5030	15	16	-	-	PUNCT
ejpam-5030	15	17	algebras	algebra	NOUN
ejpam-5030	15	18	have	have	AUX
ejpam-5030	15	19	been	be	AUX
ejpam-5030	15	20	given	give	VERB
ejpam-5030	15	21	in	in	ADP
ejpam-5030	15	22	[	[	NOUN
ejpam-5030	15	23	8	8	NUM
ejpam-5030	15	24	,	,	PUNCT
ejpam-5030	15	25	9	9	NUM
ejpam-5030	15	26	,	,	PUNCT
ejpam-5030	15	27	23–25	23–25	NUM
ejpam-5030	15	28	]	]	PUNCT
ejpam-5030	15	29	.	.	PUNCT
ejpam-5030	16	1	doi	doi	PROPN
ejpam-5030	16	2	:	:	PUNCT
ejpam-5030	16	3	https://doi.org/10.29020/nybg.ejpam.v17i1.5030	https://doi.org/10.29020/nybg.ejpam.v17i1.5030	PROPN
ejpam-5030	16	4	email	email	NOUN
ejpam-5030	16	5	addresses	address	NOUN
ejpam-5030	16	6	:	:	PUNCT
ejpam-5030	16	7	abomunzir124@gmail.com	abomunzir124@gmail.com	X
ejpam-5030	16	8	(	(	PUNCT
ejpam-5030	16	9	mohamed	mohamed	PROPN
ejpam-5030	16	10	e	e	PROPN
ejpam-5030	16	11	elnair	elnair	NOUN
ejpam-5030	16	12	)	)	PUNCT
ejpam-5030	16	13	https://www.ejpam.com	https://www.ejpam.com	NOUN
ejpam-5030	17	1	426	426	NUM
ejpam-5030	17	2	©	©	ADP
ejpam-5030	17	3	2024	2024	NUM
ejpam-5030	17	4	ejpam	ejpam	NOUN
ejpam-5030	17	5	all	all	DET
ejpam-5030	17	6	rights	right	NOUN
ejpam-5030	17	7	reserved	reserve	VERB
ejpam-5030	17	8	.	.	PUNCT
ejpam-5030	18	1	mohamed	mohamed	PROPN
ejpam-5030	18	2	e	e	PROPN
ejpam-5030	18	3	elnair	elnair	PROPN
ejpam-5030	18	4	/	/	SYM
ejpam-5030	18	5	eur	eur	PROPN
ejpam-5030	18	6	.	.	PUNCT
ejpam-5030	19	1	j.	j.	PROPN
ejpam-5030	19	2	pure	pure	PROPN
ejpam-5030	19	3	appl	appl	PROPN
ejpam-5030	19	4	.	.	PROPN
ejpam-5030	19	5	math	math	PROPN
ejpam-5030	19	6	,	,	PUNCT
ejpam-5030	19	7	17	17	NUM
ejpam-5030	19	8	(	(	PUNCT
ejpam-5030	19	9	1	1	NUM
ejpam-5030	19	10	)	)	PUNCT
ejpam-5030	19	11	(	(	PUNCT
ejpam-5030	19	12	2024	2024	NUM
ejpam-5030	19	13	)	)	PUNCT
ejpam-5030	19	14	,	,	PUNCT
ejpam-5030	19	15	426	426	NUM
ejpam-5030	19	16	-	-	SYM
ejpam-5030	19	17	434	434	NUM
ejpam-5030	19	18	427	427	NUM
ejpam-5030	19	19	recently	recently	ADV
ejpam-5030	20	1	,	,	PUNCT
ejpam-5030	20	2	many	many	ADJ
ejpam-5030	20	3	authors	author	NOUN
ejpam-5030	20	4	have	have	AUX
ejpam-5030	20	5	studied	study	VERB
ejpam-5030	20	6	more	more	ADJ
ejpam-5030	20	7	concepts	concept	NOUN
ejpam-5030	20	8	on	on	ADP
ejpam-5030	20	9	subalgebras	subalgebra	NOUN
ejpam-5030	20	10	and	and	CCONJ
ejpam-5030	20	11	ideals	ideal	NOUN
ejpam-5030	20	12	in	in	ADP
ejpam-5030	20	13	various	various	ADJ
ejpam-5030	20	14	algebraic	algebraic	ADJ
ejpam-5030	20	15	structures	structure	NOUN
ejpam-5030	20	16	[	[	X
ejpam-5030	20	17	4	4	NUM
ejpam-5030	20	18	,	,	PUNCT
ejpam-5030	20	19	13	13	NUM
ejpam-5030	20	20	,	,	PUNCT
ejpam-5030	20	21	16	16	NUM
ejpam-5030	20	22	,	,	PUNCT
ejpam-5030	20	23	19–22	19–22	NUM
ejpam-5030	20	24	,	,	PUNCT
ejpam-5030	20	25	28	28	NUM
ejpam-5030	20	26	]	]	PUNCT
ejpam-5030	20	27	,	,	PUNCT
ejpam-5030	20	28	motivating	motivate	VERB
ejpam-5030	20	29	our	our	PRON
ejpam-5030	20	30	interest	interest	NOUN
ejpam-5030	20	31	in	in	ADP
ejpam-5030	20	32	the	the	DET
ejpam-5030	20	33	present	present	ADJ
ejpam-5030	20	34	study	study	NOUN
ejpam-5030	20	35	.	.	PUNCT
ejpam-5030	21	1	redthe	redthe	PROPN
ejpam-5030	21	2	study	study	NOUN
ejpam-5030	21	3	of	of	ADP
ejpam-5030	21	4	intuitionistic	intuitionistic	ADJ
ejpam-5030	21	5	fuzzy	fuzzy	ADJ
ejpam-5030	21	6	ideals	ideal	NOUN
ejpam-5030	21	7	of	of	ADP
ejpam-5030	21	8	be	be	AUX
ejpam-5030	21	9	-	-	PUNCT
ejpam-5030	21	10	algebras	algebras	PROPN
ejpam-5030	21	11	has	have	AUX
ejpam-5030	21	12	been	be	AUX
ejpam-5030	21	13	an	an	DET
ejpam-5030	21	14	active	active	ADJ
ejpam-5030	21	15	area	area	NOUN
ejpam-5030	21	16	of	of	ADP
ejpam-5030	21	17	research	research	NOUN
ejpam-5030	21	18	in	in	ADP
ejpam-5030	21	19	recent	recent	ADJ
ejpam-5030	21	20	years	year	NOUN
ejpam-5030	21	21	,	,	PUNCT
ejpam-5030	21	22	with	with	ADP
ejpam-5030	21	23	several	several	ADJ
ejpam-5030	21	24	existing	exist	VERB
ejpam-5030	21	25	studies	study	NOUN
ejpam-5030	21	26	exploring	explore	VERB
ejpam-5030	21	27	various	various	ADJ
ejpam-5030	21	28	aspects	aspect	NOUN
ejpam-5030	21	29	of	of	ADP
ejpam-5030	21	30	this	this	DET
ejpam-5030	21	31	topic	topic	NOUN
ejpam-5030	21	32	.	.	PUNCT
ejpam-5030	22	1	however	however	ADV
ejpam-5030	22	2	,	,	PUNCT
ejpam-5030	22	3	there	there	PRON
ejpam-5030	22	4	is	be	VERB
ejpam-5030	22	5	still	still	ADV
ejpam-5030	22	6	much	much	ADV
ejpam-5030	22	7	more	more	ADJ
ejpam-5030	22	8	to	to	PART
ejpam-5030	22	9	be	be	AUX
ejpam-5030	22	10	explored	explore	VERB
ejpam-5030	22	11	in	in	ADP
ejpam-5030	22	12	this	this	DET
ejpam-5030	22	13	field	field	NOUN
ejpam-5030	22	14	,	,	PUNCT
ejpam-5030	22	15	and	and	CCONJ
ejpam-5030	22	16	this	this	DET
ejpam-5030	22	17	paper	paper	NOUN
ejpam-5030	22	18	aims	aim	VERB
ejpam-5030	22	19	to	to	PART
ejpam-5030	22	20	contribute	contribute	VERB
ejpam-5030	22	21	to	to	ADP
ejpam-5030	22	22	this	this	DET
ejpam-5030	22	23	area	area	NOUN
ejpam-5030	22	24	of	of	ADP
ejpam-5030	22	25	study	study	NOUN
ejpam-5030	22	26	by	by	ADP
ejpam-5030	22	27	presenting	present	VERB
ejpam-5030	22	28	new	new	ADJ
ejpam-5030	22	29	results	result	NOUN
ejpam-5030	22	30	that	that	PRON
ejpam-5030	22	31	build	build	VERB
ejpam-5030	22	32	upon	upon	SCONJ
ejpam-5030	22	33	previous	previous	ADJ
ejpam-5030	22	34	research	research	NOUN
ejpam-5030	22	35	.	.	PUNCT
ejpam-5030	23	1	redwhile	redwhile	VERB
ejpam-5030	23	2	the	the	DET
ejpam-5030	23	3	existing	exist	VERB
ejpam-5030	23	4	studies	study	NOUN
ejpam-5030	23	5	have	have	AUX
ejpam-5030	23	6	provided	provide	VERB
ejpam-5030	23	7	valuable	valuable	ADJ
ejpam-5030	23	8	insights	insight	NOUN
ejpam-5030	23	9	into	into	ADP
ejpam-5030	23	10	intuitionistic	intuitionistic	ADJ
ejpam-5030	23	11	fuzzy	fuzzy	ADJ
ejpam-5030	23	12	ideals	ideal	NOUN
ejpam-5030	23	13	in	in	ADP
ejpam-5030	23	14	be	be	NOUN
ejpam-5030	23	15	-	-	PUNCT
ejpam-5030	23	16	algebras	algebra	NOUN
ejpam-5030	23	17	,	,	PUNCT
ejpam-5030	23	18	the	the	DET
ejpam-5030	23	19	present	present	ADJ
ejpam-5030	23	20	study	study	NOUN
ejpam-5030	23	21	offers	offer	VERB
ejpam-5030	23	22	new	new	ADJ
ejpam-5030	23	23	results	result	NOUN
ejpam-5030	23	24	that	that	PRON
ejpam-5030	23	25	further	far	ADV
ejpam-5030	23	26	deepen	deepen	VERB
ejpam-5030	23	27	our	our	PRON
ejpam-5030	23	28	understanding	understanding	NOUN
ejpam-5030	23	29	of	of	ADP
ejpam-5030	23	30	this	this	DET
ejpam-5030	23	31	topic	topic	NOUN
ejpam-5030	23	32	.	.	PUNCT
ejpam-5030	24	1	by	by	ADP
ejpam-5030	24	2	considering	consider	VERB
ejpam-5030	24	3	the	the	DET
ejpam-5030	24	4	present	present	ADJ
ejpam-5030	24	5	study	study	NOUN
ejpam-5030	24	6	,	,	PUNCT
ejpam-5030	24	7	researchers	researcher	NOUN
ejpam-5030	24	8	and	and	CCONJ
ejpam-5030	24	9	practitioners	practitioner	NOUN
ejpam-5030	24	10	in	in	ADP
ejpam-5030	24	11	this	this	DET
ejpam-5030	24	12	field	field	NOUN
ejpam-5030	24	13	can	can	AUX
ejpam-5030	24	14	gain	gain	VERB
ejpam-5030	24	15	a	a	DET
ejpam-5030	24	16	more	more	ADV
ejpam-5030	24	17	comprehensive	comprehensive	ADJ
ejpam-5030	24	18	and	and	CCONJ
ejpam-5030	24	19	up	up	ADP
ejpam-5030	24	20	-	-	PUNCT
ejpam-5030	24	21	to	to	ADP
ejpam-5030	24	22	-	-	PUNCT
ejpam-5030	24	23	date	date	NOUN
ejpam-5030	24	24	understanding	understanding	NOUN
ejpam-5030	24	25	of	of	ADP
ejpam-5030	24	26	intuitionistic	intuitionistic	ADJ
ejpam-5030	24	27	fuzzy	fuzzy	ADJ
ejpam-5030	24	28	ideals	ideal	NOUN
ejpam-5030	24	29	and	and	CCONJ
ejpam-5030	24	30	their	their	PRON
ejpam-5030	24	31	applications	application	NOUN
ejpam-5030	24	32	in	in	ADP
ejpam-5030	24	33	be	be	NOUN
ejpam-5030	24	34	-	-	PUNCT
ejpam-5030	24	35	algebras	algebras	X
ejpam-5030	24	36	.	.	PUNCT
ejpam-5030	25	1	this	this	PRON
ejpam-5030	25	2	can	can	AUX
ejpam-5030	25	3	in	in	ADP
ejpam-5030	25	4	turn	turn	NOUN
ejpam-5030	25	5	lead	lead	VERB
ejpam-5030	25	6	to	to	ADP
ejpam-5030	25	7	advancements	advancement	NOUN
ejpam-5030	25	8	in	in	ADP
ejpam-5030	25	9	various	various	ADJ
ejpam-5030	25	10	fields	field	NOUN
ejpam-5030	25	11	where	where	SCONJ
ejpam-5030	25	12	be	be	AUX
ejpam-5030	25	13	-	-	PUNCT
ejpam-5030	25	14	algebras	algebra	NOUN
ejpam-5030	25	15	are	be	AUX
ejpam-5030	25	16	used	use	VERB
ejpam-5030	25	17	,	,	PUNCT
ejpam-5030	25	18	such	such	ADJ
ejpam-5030	25	19	as	as	ADP
ejpam-5030	25	20	computer	computer	NOUN
ejpam-5030	25	21	science	science	NOUN
ejpam-5030	25	22	,	,	PUNCT
ejpam-5030	25	23	engineering	engineering	NOUN
ejpam-5030	25	24	,	,	PUNCT
ejpam-5030	25	25	and	and	CCONJ
ejpam-5030	25	26	economics	economic	NOUN
ejpam-5030	25	27	.	.	PUNCT
ejpam-5030	26	1	motivated	motivate	VERB
ejpam-5030	26	2	by	by	ADP
ejpam-5030	26	3	a	a	DET
ejpam-5030	26	4	lot	lot	NOUN
ejpam-5030	26	5	of	of	ADP
ejpam-5030	26	6	work	work	NOUN
ejpam-5030	26	7	in	in	ADP
ejpam-5030	26	8	this	this	DET
ejpam-5030	26	9	direction	direction	NOUN
ejpam-5030	26	10	,	,	PUNCT
ejpam-5030	26	11	in	in	ADP
ejpam-5030	26	12	this	this	DET
ejpam-5030	26	13	paper	paper	NOUN
ejpam-5030	26	14	,	,	PUNCT
ejpam-5030	26	15	as	as	ADP
ejpam-5030	26	16	a	a	DET
ejpam-5030	26	17	generalization	generalization	NOUN
ejpam-5030	26	18	of	of	ADP
ejpam-5030	26	19	fuzzy	fuzzy	ADJ
ejpam-5030	26	20	be	be	NOUN
ejpam-5030	26	21	-	-	PUNCT
ejpam-5030	26	22	algebra	algebra	NOUN
ejpam-5030	26	23	,	,	PUNCT
ejpam-5030	26	24	we	we	PRON
ejpam-5030	26	25	discuss	discuss	VERB
ejpam-5030	26	26	intuitionistic	intuitionistic	ADJ
ejpam-5030	26	27	fuzzy	fuzzy	ADJ
ejpam-5030	26	28	ideal	ideal	ADJ
ejpam-5030	26	29	theory	theory	NOUN
ejpam-5030	26	30	applied	apply	VERB
ejpam-5030	26	31	to	to	PART
ejpam-5030	26	32	be	be	AUX
ejpam-5030	26	33	-	-	PUNCT
ejpam-5030	26	34	algebras	algebras	X
ejpam-5030	26	35	.	.	PUNCT
ejpam-5030	27	1	we	we	PRON
ejpam-5030	27	2	introduce	introduce	VERB
ejpam-5030	27	3	the	the	DET
ejpam-5030	27	4	notion	notion	NOUN
ejpam-5030	27	5	of	of	ADP
ejpam-5030	27	6	intuitionistic	intuitionistic	ADJ
ejpam-5030	27	7	fuzzy	fuzzy	ADJ
ejpam-5030	27	8	be	be	NOUN
ejpam-5030	27	9	-	-	PUNCT
ejpam-5030	27	10	ideals	ideal	NOUN
ejpam-5030	27	11	,	,	PUNCT
ejpam-5030	27	12	and	and	CCONJ
ejpam-5030	27	13	investigate	investigate	VERB
ejpam-5030	27	14	several	several	ADJ
ejpam-5030	27	15	properties	property	NOUN
ejpam-5030	27	16	.	.	PUNCT
ejpam-5030	28	1	we	we	PRON
ejpam-5030	28	2	organize	organize	VERB
ejpam-5030	28	3	this	this	DET
ejpam-5030	28	4	paper	paper	NOUN
ejpam-5030	28	5	as	as	SCONJ
ejpam-5030	28	6	follows	follow	VERB
ejpam-5030	28	7	:	:	PUNCT
ejpam-5030	28	8	in	in	ADP
ejpam-5030	28	9	section	section	NOUN
ejpam-5030	28	10	2	2	NUM
ejpam-5030	28	11	,	,	PUNCT
ejpam-5030	28	12	some	some	DET
ejpam-5030	28	13	fundamental	fundamental	ADJ
ejpam-5030	28	14	notions	notion	NOUN
ejpam-5030	28	15	of	of	ADP
ejpam-5030	28	16	be	be	AUX
ejpam-5030	28	17	-	-	PUNCT
ejpam-5030	28	18	algebras	algebra	NOUN
ejpam-5030	28	19	are	be	AUX
ejpam-5030	28	20	presented	present	VERB
ejpam-5030	28	21	.	.	PUNCT
ejpam-5030	29	1	in	in	ADP
ejpam-5030	29	2	section	section	NOUN
ejpam-5030	29	3	3	3	NUM
ejpam-5030	29	4	,	,	PUNCT
ejpam-5030	29	5	the	the	DET
ejpam-5030	29	6	notion	notion	NOUN
ejpam-5030	29	7	of	of	ADP
ejpam-5030	29	8	intuitionistic	intuitionistic	ADJ
ejpam-5030	29	9	fuzzy	fuzzy	ADJ
ejpam-5030	29	10	be	be	NOUN
ejpam-5030	29	11	-	-	PUNCT
ejpam-5030	29	12	ideal	ideal	ADJ
ejpam-5030	29	13	is	be	AUX
ejpam-5030	29	14	defined	define	VERB
ejpam-5030	29	15	,	,	PUNCT
ejpam-5030	29	16	and	and	CCONJ
ejpam-5030	29	17	related	related	ADJ
ejpam-5030	29	18	properties	property	NOUN
ejpam-5030	29	19	are	be	AUX
ejpam-5030	29	20	investigated	investigate	VERB
ejpam-5030	29	21	with	with	ADP
ejpam-5030	29	22	many	many	ADJ
ejpam-5030	29	23	examples	example	NOUN
ejpam-5030	29	24	.	.	PUNCT
ejpam-5030	30	1	2	2	X
ejpam-5030	30	2	.	.	X
ejpam-5030	30	3	preliminaries	preliminary	NOUN
ejpam-5030	30	4	let	let	VERB
ejpam-5030	30	5	k(τ	k(τ	PROPN
ejpam-5030	30	6	)	)	PUNCT
ejpam-5030	30	7	be	be	AUX
ejpam-5030	30	8	the	the	DET
ejpam-5030	30	9	class	class	NOUN
ejpam-5030	30	10	of	of	ADP
ejpam-5030	30	11	all	all	DET
ejpam-5030	30	12	algebras	algebra	NOUN
ejpam-5030	30	13	of	of	ADP
ejpam-5030	30	14	type	type	NOUN
ejpam-5030	30	15	τ	τ	PROPN
ejpam-5030	30	16	=	=	SYM
ejpam-5030	30	17	(	(	PUNCT
ejpam-5030	30	18	2	2	NUM
ejpam-5030	30	19	,	,	PUNCT
ejpam-5030	30	20	0	0	NUM
ejpam-5030	30	21	)	)	PUNCT
ejpam-5030	30	22	.	.	PUNCT
ejpam-5030	31	1	by	by	ADP
ejpam-5030	31	2	a	a	DET
ejpam-5030	31	3	be	be	NOUN
ejpam-5030	31	4	-	-	PUNCT
ejpam-5030	31	5	algebra	algebra	NOUN
ejpam-5030	31	6	we	we	PRON
ejpam-5030	31	7	mean	mean	VERB
ejpam-5030	31	8	a	a	DET
ejpam-5030	31	9	system	system	NOUN
ejpam-5030	31	10	(	(	PUNCT
ejpam-5030	31	11	m	m	PROPN
ejpam-5030	31	12	;	;	PUNCT
ejpam-5030	31	13	∗	∗	NOUN
ejpam-5030	31	14	,	,	PUNCT
ejpam-5030	31	15	1	1	NUM
ejpam-5030	31	16	)	)	PUNCT
ejpam-5030	31	17	∈	∈	PROPN
ejpam-5030	31	18	k(τ	k(τ	PROPN
ejpam-5030	31	19	)	)	PUNCT
ejpam-5030	31	20	in	in	ADP
ejpam-5030	31	21	which	which	PRON
ejpam-5030	31	22	the	the	DET
ejpam-5030	31	23	following	following	ADJ
ejpam-5030	31	24	axioms	axiom	NOUN
ejpam-5030	31	25	hold	hold	VERB
ejpam-5030	31	26	(	(	PUNCT
ejpam-5030	31	27	see	see	VERB
ejpam-5030	31	28	[	[	X
ejpam-5030	31	29	10	10	NUM
ejpam-5030	31	30	]	]	NUM
ejpam-5030	31	31	):	):	PUNCT
ejpam-5030	31	32	(	(	PUNCT
ejpam-5030	31	33	∀m0	∀m0	PROPN
ejpam-5030	31	34	∈	∈	PROPN
ejpam-5030	31	35	m	m	PROPN
ejpam-5030	31	36	)	)	PUNCT
ejpam-5030	31	37	(	(	PUNCT
ejpam-5030	31	38	m0	m0	NOUN
ejpam-5030	31	39	∗m0	∗m0	AUX
ejpam-5030	31	40	=	=	NOUN
ejpam-5030	31	41	1	1	NUM
ejpam-5030	31	42	)	)	PUNCT
ejpam-5030	31	43	;	;	PUNCT
ejpam-5030	31	44	(	(	PUNCT
ejpam-5030	31	45	1	1	X
ejpam-5030	31	46	)	)	PUNCT
ejpam-5030	31	47	(	(	PUNCT
ejpam-5030	31	48	∀m0	∀m0	PROPN
ejpam-5030	31	49	∈	∈	PROPN
ejpam-5030	31	50	m	m	PROPN
ejpam-5030	31	51	)	)	PUNCT
ejpam-5030	31	52	(	(	PUNCT
ejpam-5030	31	53	m0	m0	NOUN
ejpam-5030	31	54	∗	∗	NOUN
ejpam-5030	31	55	1	1	NUM
ejpam-5030	31	56	=	=	SYM
ejpam-5030	31	57	1	1	NUM
ejpam-5030	31	58	)	)	PUNCT
ejpam-5030	31	59	;	;	PUNCT
ejpam-5030	31	60	(	(	PUNCT
ejpam-5030	31	61	2	2	X
ejpam-5030	31	62	)	)	PUNCT
ejpam-5030	31	63	(	(	PUNCT
ejpam-5030	31	64	∀m0	∀m0	PROPN
ejpam-5030	31	65	∈	∈	PROPN
ejpam-5030	31	66	m	m	PROPN
ejpam-5030	31	67	)	)	PUNCT
ejpam-5030	31	68	(	(	PUNCT
ejpam-5030	31	69	1	1	NUM
ejpam-5030	31	70	∗m0	∗m0	PROPN
ejpam-5030	31	71	=	=	SYM
ejpam-5030	31	72	m0	m0	PROPN
ejpam-5030	31	73	)	)	PUNCT
ejpam-5030	31	74	;	;	PUNCT
ejpam-5030	31	75	(	(	PUNCT
ejpam-5030	31	76	3	3	X
ejpam-5030	31	77	)	)	PUNCT
ejpam-5030	31	78	(	(	PUNCT
ejpam-5030	31	79	∀m0,m1,m2	∀m0,m1,m2	PROPN
ejpam-5030	31	80	∈	∈	PROPN
ejpam-5030	31	81	m	m	NOUN
ejpam-5030	31	82	)	)	PUNCT
ejpam-5030	31	83	(	(	PUNCT
ejpam-5030	31	84	m0	m0	PROPN
ejpam-5030	31	85	∗	∗	NOUN
ejpam-5030	31	86	(	(	PUNCT
ejpam-5030	31	87	m1	m1	PROPN
ejpam-5030	31	88	∗m2	∗m2	PROPN
ejpam-5030	31	89	)	)	PUNCT
ejpam-5030	32	1	=	=	SYM
ejpam-5030	32	2	m1	m1	PROPN
ejpam-5030	32	3	∗	∗	NOUN
ejpam-5030	32	4	(	(	PUNCT
ejpam-5030	32	5	m0	m0	PROPN
ejpam-5030	32	6	∗m2	∗m2	PROPN
ejpam-5030	32	7	)	)	PUNCT
ejpam-5030	32	8	)	)	PUNCT
ejpam-5030	32	9	.	.	PUNCT
ejpam-5030	33	1	(	(	PUNCT
ejpam-5030	33	2	exchange	exchange	NOUN
ejpam-5030	33	3	)	)	PUNCT
ejpam-5030	33	4	(	(	PUNCT
ejpam-5030	33	5	4	4	X
ejpam-5030	33	6	)	)	PUNCT
ejpam-5030	33	7	a	a	DET
ejpam-5030	33	8	relation	relation	NOUN
ejpam-5030	33	9	“	"	PUNCT
ejpam-5030	33	10	≤	≤	NUM
ejpam-5030	33	11	”	"	PUNCT
ejpam-5030	33	12	on	on	ADP
ejpam-5030	33	13	a	a	DET
ejpam-5030	33	14	be	be	NOUN
ejpam-5030	33	15	-	-	PUNCT
ejpam-5030	33	16	algebra	algebra	NOUN
ejpam-5030	33	17	m	m	VERB
ejpam-5030	33	18	is	be	AUX
ejpam-5030	33	19	defined	define	VERB
ejpam-5030	33	20	by	by	ADP
ejpam-5030	33	21	(	(	PUNCT
ejpam-5030	33	22	∀m0,m1	∀m0,m1	PROPN
ejpam-5030	33	23	∈	∈	PROPN
ejpam-5030	33	24	m	m	NOUN
ejpam-5030	33	25	)	)	PUNCT
ejpam-5030	33	26	(	(	PUNCT
ejpam-5030	33	27	m0	m0	PROPN
ejpam-5030	33	28	≤	≤	PROPN
ejpam-5030	33	29	m1	m1	PROPN
ejpam-5030	33	30	⇐	⇐	ADJ
ejpam-5030	33	31	⇒	⇒	PROPN
ejpam-5030	33	32	m0	m0	NOUN
ejpam-5030	33	33	∗m1	∗m1	PUNCT
ejpam-5030	33	34	=	=	PUNCT
ejpam-5030	34	1	1	1	NUM
ejpam-5030	34	2	)	)	PUNCT
ejpam-5030	34	3	.	.	PUNCT
ejpam-5030	35	1	(	(	PUNCT
ejpam-5030	35	2	5	5	X
ejpam-5030	35	3	)	)	PUNCT
ejpam-5030	35	4	a	a	DET
ejpam-5030	35	5	be	be	NOUN
ejpam-5030	35	6	-	-	PUNCT
ejpam-5030	35	7	algebra	algebra	NOUN
ejpam-5030	35	8	(	(	PUNCT
ejpam-5030	35	9	m	m	PROPN
ejpam-5030	35	10	;	;	PUNCT
ejpam-5030	35	11	∗	∗	NOUN
ejpam-5030	35	12	,	,	PUNCT
ejpam-5030	35	13	1	1	NUM
ejpam-5030	35	14	)	)	PUNCT
ejpam-5030	35	15	is	be	AUX
ejpam-5030	35	16	said	say	VERB
ejpam-5030	35	17	to	to	PART
ejpam-5030	35	18	be	be	AUX
ejpam-5030	35	19	transitive	transitive	ADJ
ejpam-5030	35	20	(	(	PUNCT
ejpam-5030	35	21	see	see	VERB
ejpam-5030	35	22	[	[	X
ejpam-5030	35	23	1	1	NUM
ejpam-5030	35	24	]	]	PUNCT
ejpam-5030	35	25	)	)	PUNCT
ejpam-5030	35	26	if	if	SCONJ
ejpam-5030	35	27	it	it	PRON
ejpam-5030	35	28	satisfies	satisfy	VERB
ejpam-5030	35	29	:	:	PUNCT
ejpam-5030	35	30	(	(	PUNCT
ejpam-5030	35	31	∀m0,m1,m2	∀m0,m1,m2	PROPN
ejpam-5030	35	32	∈	∈	PROPN
ejpam-5030	35	33	m	m	NOUN
ejpam-5030	35	34	)	)	PUNCT
ejpam-5030	35	35	(	(	PUNCT
ejpam-5030	35	36	m1	m1	PROPN
ejpam-5030	35	37	∗m2	∗m2	PROPN
ejpam-5030	35	38	≤	≤	PROPN
ejpam-5030	35	39	(	(	PUNCT
ejpam-5030	35	40	m0	m0	PROPN
ejpam-5030	35	41	∗m1	∗m1	PROPN
ejpam-5030	35	42	)	)	PUNCT
ejpam-5030	35	43	∗	∗	NOUN
ejpam-5030	35	44	(	(	PUNCT
ejpam-5030	35	45	m0	m0	PROPN
ejpam-5030	35	46	∗m2	∗m2	PROPN
ejpam-5030	35	47	)	)	PUNCT
ejpam-5030	35	48	)	)	PUNCT
ejpam-5030	35	49	.	.	PUNCT
ejpam-5030	36	1	(	(	PUNCT
ejpam-5030	36	2	6	6	X
ejpam-5030	36	3	)	)	PUNCT
ejpam-5030	36	4	a	a	DET
ejpam-5030	36	5	be	be	NOUN
ejpam-5030	36	6	-	-	PUNCT
ejpam-5030	36	7	algebra	algebra	NOUN
ejpam-5030	36	8	(	(	PUNCT
ejpam-5030	36	9	m	m	PROPN
ejpam-5030	36	10	;	;	PUNCT
ejpam-5030	36	11	∗	∗	NOUN
ejpam-5030	36	12	,	,	PUNCT
ejpam-5030	36	13	1	1	NUM
ejpam-5030	36	14	)	)	PUNCT
ejpam-5030	36	15	is	be	AUX
ejpam-5030	36	16	said	say	VERB
ejpam-5030	36	17	to	to	PART
ejpam-5030	36	18	be	be	AUX
ejpam-5030	36	19	self	self	NOUN
ejpam-5030	36	20	distributive	distributive	ADJ
ejpam-5030	36	21	(	(	PUNCT
ejpam-5030	36	22	see	see	VERB
ejpam-5030	36	23	[	[	X
ejpam-5030	36	24	10	10	NUM
ejpam-5030	36	25	]	]	PUNCT
ejpam-5030	36	26	)	)	PUNCT
ejpam-5030	36	27	if	if	SCONJ
ejpam-5030	36	28	it	it	PRON
ejpam-5030	36	29	satisfies	satisfy	VERB
ejpam-5030	36	30	:	:	PUNCT
ejpam-5030	36	31	(	(	PUNCT
ejpam-5030	36	32	∀m0,m1,m2	∀m0,m1,m2	PROPN
ejpam-5030	36	33	∈	∈	PROPN
ejpam-5030	36	34	m	m	NOUN
ejpam-5030	36	35	)	)	PUNCT
ejpam-5030	36	36	(	(	PUNCT
ejpam-5030	36	37	m0	m0	PROPN
ejpam-5030	36	38	∗	∗	NOUN
ejpam-5030	36	39	(	(	PUNCT
ejpam-5030	36	40	m1	m1	PROPN
ejpam-5030	36	41	∗m2	∗m2	PROPN
ejpam-5030	36	42	)	)	PUNCT
ejpam-5030	36	43	=	=	PUNCT
ejpam-5030	37	1	(	(	PUNCT
ejpam-5030	37	2	m0	m0	PROPN
ejpam-5030	37	3	∗m1	∗m1	PROPN
ejpam-5030	37	4	)	)	PUNCT
ejpam-5030	37	5	∗	∗	NOUN
ejpam-5030	37	6	(	(	PUNCT
ejpam-5030	37	7	m0	m0	PROPN
ejpam-5030	37	8	∗m2	∗m2	PROPN
ejpam-5030	37	9	)	)	PUNCT
ejpam-5030	37	10	)	)	PUNCT
ejpam-5030	37	11	.	.	PUNCT
ejpam-5030	38	1	(	(	PUNCT
ejpam-5030	38	2	7	7	X
ejpam-5030	38	3	)	)	PUNCT
ejpam-5030	38	4	note	note	NOUN
ejpam-5030	38	5	that	that	SCONJ
ejpam-5030	38	6	every	every	DET
ejpam-5030	38	7	self	self	NOUN
ejpam-5030	38	8	distributive	distributive	ADJ
ejpam-5030	38	9	be	be	NOUN
ejpam-5030	38	10	-	-	PUNCT
ejpam-5030	38	11	algebra	algebra	NOUN
ejpam-5030	38	12	is	be	AUX
ejpam-5030	38	13	transitive	transitive	ADJ
ejpam-5030	38	14	,	,	PUNCT
ejpam-5030	38	15	but	but	CCONJ
ejpam-5030	38	16	the	the	DET
ejpam-5030	38	17	converse	converse	NOUN
ejpam-5030	38	18	is	be	AUX
ejpam-5030	38	19	not	not	PART
ejpam-5030	38	20	true	true	ADJ
ejpam-5030	38	21	in	in	ADP
ejpam-5030	38	22	general	general	ADJ
ejpam-5030	38	23	(	(	PUNCT
ejpam-5030	38	24	see	see	VERB
ejpam-5030	38	25	[	[	X
ejpam-5030	38	26	1	1	NUM
ejpam-5030	38	27	]	]	NUM
ejpam-5030	38	28	)	)	PUNCT
ejpam-5030	38	29	.	.	PUNCT
ejpam-5030	39	1	mohamed	mohamed	PROPN
ejpam-5030	39	2	e	e	PROPN
ejpam-5030	39	3	elnair	elnair	PROPN
ejpam-5030	39	4	/	/	SYM
ejpam-5030	39	5	eur	eur	PROPN
ejpam-5030	39	6	.	.	PUNCT
ejpam-5030	40	1	j.	j.	PROPN
ejpam-5030	40	2	pure	pure	PROPN
ejpam-5030	40	3	appl	appl	PROPN
ejpam-5030	40	4	.	.	PROPN
ejpam-5030	40	5	math	math	PROPN
ejpam-5030	40	6	,	,	PUNCT
ejpam-5030	40	7	17	17	NUM
ejpam-5030	40	8	(	(	PUNCT
ejpam-5030	40	9	1	1	NUM
ejpam-5030	40	10	)	)	PUNCT
ejpam-5030	40	11	(	(	PUNCT
ejpam-5030	40	12	2024	2024	NUM
ejpam-5030	40	13	)	)	PUNCT
ejpam-5030	40	14	,	,	PUNCT
ejpam-5030	40	15	426	426	NUM
ejpam-5030	40	16	-	-	SYM
ejpam-5030	40	17	434	434	NUM
ejpam-5030	40	18	428	428	NUM
ejpam-5030	40	19	a	a	DET
ejpam-5030	40	20	nonempty	nonempty	NOUN
ejpam-5030	40	21	subset	subset	VERB
ejpam-5030	40	22	i	i	PRON
ejpam-5030	40	23	of	of	ADP
ejpam-5030	40	24	a	a	DET
ejpam-5030	40	25	be	be	NOUN
ejpam-5030	40	26	-	-	PUNCT
ejpam-5030	40	27	algebra	algebra	NOUN
ejpam-5030	40	28	m	m	NOUN
ejpam-5030	40	29	is	be	AUX
ejpam-5030	40	30	called	call	VERB
ejpam-5030	40	31	an	an	DET
ejpam-5030	40	32	ideal	ideal	NOUN
ejpam-5030	40	33	of	of	ADP
ejpam-5030	40	34	m	m	PROPN
ejpam-5030	40	35	(	(	PUNCT
ejpam-5030	40	36	see	see	VERB
ejpam-5030	40	37	[	[	X
ejpam-5030	40	38	1	1	NUM
ejpam-5030	40	39	]	]	PUNCT
ejpam-5030	40	40	)	)	PUNCT
ejpam-5030	40	41	if	if	SCONJ
ejpam-5030	40	42	it	it	PRON
ejpam-5030	40	43	satisfies	satisfy	VERB
ejpam-5030	40	44	:	:	PUNCT
ejpam-5030	40	45	(	(	PUNCT
ejpam-5030	40	46	∀m0	∀m0	PROPN
ejpam-5030	40	47	∈	∈	PROPN
ejpam-5030	40	48	m)(∀α	m)(∀α	NOUN
ejpam-5030	40	49	∈	∈	PROPN
ejpam-5030	40	50	i)(m0	i)(m0	NOUN
ejpam-5030	40	51	∗	∗	VERB
ejpam-5030	40	52	α	α	NOUN
ejpam-5030	40	53	∈	∈	PROPN
ejpam-5030	40	54	i	i	PROPN
ejpam-5030	40	55	)	)	PUNCT
ejpam-5030	40	56	;	;	PUNCT
ejpam-5030	40	57	(	(	PUNCT
ejpam-5030	40	58	8)	8)	NUM
ejpam-5030	40	59	(	(	PUNCT
ejpam-5030	40	60	∀m0	∀m0	PROPN
ejpam-5030	40	61	∈	∈	PROPN
ejpam-5030	40	62	m	m	PROPN
ejpam-5030	40	63	)	)	PUNCT
ejpam-5030	40	64	(	(	PUNCT
ejpam-5030	40	65	∀α	∀α	NOUN
ejpam-5030	40	66	,	,	PUNCT
ejpam-5030	40	67	β	β	X
ejpam-5030	40	68	∈	∈	PROPN
ejpam-5030	40	69	i	i	NOUN
ejpam-5030	40	70	)	)	PUNCT
ejpam-5030	40	71	(	(	PUNCT
ejpam-5030	40	72	α	α	NOUN
ejpam-5030	40	73	∗	∗	X
ejpam-5030	40	74	(	(	PUNCT
ejpam-5030	40	75	β	β	X
ejpam-5030	40	76	∗m0	∗m0	PROPN
ejpam-5030	40	77	)	)	PUNCT
ejpam-5030	40	78	)	)	PUNCT
ejpam-5030	41	1	∗m0	∗m0	VERB
ejpam-5030	41	2	∈	∈	PROPN
ejpam-5030	41	3	i	i	NOUN
ejpam-5030	41	4	)	)	PUNCT
ejpam-5030	41	5	.	.	PUNCT
ejpam-5030	42	1	(	(	PUNCT
ejpam-5030	42	2	9	9	X
ejpam-5030	42	3	)	)	PUNCT
ejpam-5030	42	4	a	a	DET
ejpam-5030	42	5	mapping	mapping	NOUN
ejpam-5030	42	6	µ	µ	NOUN
ejpam-5030	42	7	:	:	PUNCT
ejpam-5030	42	8	m	m	VERB
ejpam-5030	42	9	→	→	SYM
ejpam-5030	43	1	[	[	X
ejpam-5030	43	2	0	0	NUM
ejpam-5030	43	3	,	,	PUNCT
ejpam-5030	43	4	1	1	NUM
ejpam-5030	43	5	]	]	PUNCT
ejpam-5030	43	6	,	,	PUNCT
ejpam-5030	43	7	where	where	SCONJ
ejpam-5030	43	8	m	m	NOUN
ejpam-5030	43	9	is	be	AUX
ejpam-5030	43	10	an	an	DET
ejpam-5030	43	11	arbitrary	arbitrary	ADJ
ejpam-5030	43	12	nonempty	nonempty	NOUN
ejpam-5030	43	13	set	set	NOUN
ejpam-5030	43	14	,	,	PUNCT
ejpam-5030	43	15	is	be	AUX
ejpam-5030	43	16	called	call	VERB
ejpam-5030	43	17	a	a	DET
ejpam-5030	43	18	fuzzy	fuzzy	ADJ
ejpam-5030	43	19	set	set	NOUN
ejpam-5030	43	20	in	in	ADP
ejpam-5030	43	21	m	m	PROPN
ejpam-5030	43	22	.	.	PUNCT
ejpam-5030	44	1	for	for	ADP
ejpam-5030	44	2	any	any	DET
ejpam-5030	44	3	fuzzy	fuzzy	ADJ
ejpam-5030	44	4	set	set	VERB
ejpam-5030	44	5	µ	µ	NOUN
ejpam-5030	44	6	in	in	ADP
ejpam-5030	44	7	m	m	PROPN
ejpam-5030	44	8	and	and	CCONJ
ejpam-5030	44	9	any	any	DET
ejpam-5030	44	10	t	t	NOUN
ejpam-5030	44	11	∈	∈	PROPN
ejpam-5030	45	1	[	[	X
ejpam-5030	45	2	0	0	NUM
ejpam-5030	45	3	,	,	PUNCT
ejpam-5030	45	4	1	1	NUM
ejpam-5030	45	5	]	]	PUNCT
ejpam-5030	45	6	we	we	PRON
ejpam-5030	45	7	define	define	VERB
ejpam-5030	45	8	two	two	NUM
ejpam-5030	45	9	sets	set	NOUN
ejpam-5030	45	10	u(µ	u(µ	NOUN
ejpam-5030	45	11	;	;	PUNCT
ejpam-5030	45	12	t	t	X
ejpam-5030	45	13	)	)	PUNCT
ejpam-5030	45	14	=	=	PRON
ejpam-5030	46	1	{	{	PUNCT
ejpam-5030	46	2	m0	m0	NOUN
ejpam-5030	46	3	∈	∈	PROPN
ejpam-5030	46	4	m	m	VERB
ejpam-5030	46	5	|	|	ADV
ejpam-5030	46	6	µ(m0	µ(m0	ADJ
ejpam-5030	46	7	)	)	PUNCT
ejpam-5030	46	8	≥	≥	NOUN
ejpam-5030	46	9	t	t	PROPN
ejpam-5030	46	10	}	}	PUNCT
ejpam-5030	46	11	and	and	CCONJ
ejpam-5030	46	12	l(µ	l(µ	PROPN
ejpam-5030	46	13	;	;	PUNCT
ejpam-5030	46	14	t	t	PROPN
ejpam-5030	46	15	)	)	PUNCT
ejpam-5030	46	16	=	=	PRON
ejpam-5030	46	17	{	{	PUNCT
ejpam-5030	46	18	m0	m0	NOUN
ejpam-5030	46	19	∈	∈	PROPN
ejpam-5030	46	20	m	m	VERB
ejpam-5030	46	21	|	|	ADV
ejpam-5030	46	22	µ(m0	µ(m0	ADJ
ejpam-5030	46	23	)	)	PUNCT
ejpam-5030	46	24	≤	≤	NOUN
ejpam-5030	46	25	t	t	PROPN
ejpam-5030	46	26	}	}	PUNCT
ejpam-5030	46	27	,	,	PUNCT
ejpam-5030	46	28	which	which	PRON
ejpam-5030	46	29	are	be	AUX
ejpam-5030	46	30	called	call	VERB
ejpam-5030	46	31	an	an	DET
ejpam-5030	46	32	upper	upper	ADJ
ejpam-5030	46	33	and	and	CCONJ
ejpam-5030	46	34	lower	low	ADJ
ejpam-5030	46	35	t	t	NOUN
ejpam-5030	46	36	-	-	PUNCT
ejpam-5030	46	37	level	level	NOUN
ejpam-5030	46	38	cut	cut	NOUN
ejpam-5030	46	39	of	of	ADP
ejpam-5030	46	40	µ	µ	NUM
ejpam-5030	46	41	and	and	CCONJ
ejpam-5030	46	42	can	can	AUX
ejpam-5030	46	43	be	be	AUX
ejpam-5030	46	44	used	use	VERB
ejpam-5030	46	45	to	to	ADP
ejpam-5030	46	46	the	the	DET
ejpam-5030	46	47	characterization	characterization	NOUN
ejpam-5030	46	48	of	of	ADP
ejpam-5030	46	49	µ.	µ.	ADJ
ejpam-5030	46	50	definition	definition	NOUN
ejpam-5030	46	51	1	1	NUM
ejpam-5030	46	52	.	.	PUNCT
ejpam-5030	47	1	a	a	DET
ejpam-5030	47	2	fuzzy	fuzzy	ADJ
ejpam-5030	47	3	set	set	VERB
ejpam-5030	47	4	µ	µ	NOUN
ejpam-5030	47	5	in	in	ADP
ejpam-5030	47	6	m	m	PROPN
ejpam-5030	47	7	is	be	AUX
ejpam-5030	47	8	called	call	VERB
ejpam-5030	47	9	a	a	DET
ejpam-5030	47	10	fuzzy	fuzzy	ADJ
ejpam-5030	47	11	ideal	ideal	NOUN
ejpam-5030	47	12	of	of	ADP
ejpam-5030	47	13	m	m	PRON
ejpam-5030	47	14	if	if	SCONJ
ejpam-5030	47	15	it	it	PRON
ejpam-5030	47	16	satisfies	satisfy	VERB
ejpam-5030	47	17	:	:	PUNCT
ejpam-5030	47	18	(	(	PUNCT
ejpam-5030	47	19	∀m0,m1	∀m0,m1	PROPN
ejpam-5030	47	20	∈	∈	PROPN
ejpam-5030	47	21	m	m	NOUN
ejpam-5030	47	22	)	)	PUNCT
ejpam-5030	47	23	(	(	PUNCT
ejpam-5030	47	24	µ(m0	µ(m0	NOUN
ejpam-5030	47	25	∗m1	∗m1	PROPN
ejpam-5030	47	26	)	)	PUNCT
ejpam-5030	47	27	≥	≥	NOUN
ejpam-5030	47	28	µ(m1	µ(m1	NOUN
ejpam-5030	47	29	)	)	PUNCT
ejpam-5030	47	30	)	)	PUNCT
ejpam-5030	48	1	;	;	PUNCT
ejpam-5030	48	2	(	(	PUNCT
ejpam-5030	48	3	10	10	NUM
ejpam-5030	48	4	)	)	PUNCT
ejpam-5030	48	5	(	(	PUNCT
ejpam-5030	48	6	∀m0,m1,m2	∀m0,m1,m2	PROPN
ejpam-5030	48	7	∈	∈	PROPN
ejpam-5030	48	8	m	m	NOUN
ejpam-5030	48	9	)	)	PUNCT
ejpam-5030	48	10	(	(	PUNCT
ejpam-5030	48	11	µ((m0	µ((m0	NOUN
ejpam-5030	48	12	∗	∗	NOUN
ejpam-5030	48	13	(	(	PUNCT
ejpam-5030	48	14	m1	m1	PROPN
ejpam-5030	48	15	∗m2	∗m2	PROPN
ejpam-5030	48	16	)	)	PUNCT
ejpam-5030	48	17	)	)	PUNCT
ejpam-5030	48	18	∗m2	∗m2	PROPN
ejpam-5030	48	19	)	)	PUNCT
ejpam-5030	48	20	≥	≥	NOUN
ejpam-5030	48	21	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	48	22	)	)	PUNCT
ejpam-5030	48	23	,	,	PUNCT
ejpam-5030	48	24	µ(m1	µ(m1	NOUN
ejpam-5030	48	25	)	)	PUNCT
ejpam-5030	48	26	}	}	PUNCT
ejpam-5030	48	27	)	)	PUNCT
ejpam-5030	48	28	.	.	PUNCT
ejpam-5030	49	1	(	(	PUNCT
ejpam-5030	49	2	11	11	NUM
ejpam-5030	49	3	)	)	PUNCT
ejpam-5030	49	4	an	an	DET
ejpam-5030	49	5	intuitionistic	intuitionistic	ADJ
ejpam-5030	49	6	fuzzy	fuzzy	ADJ
ejpam-5030	49	7	set	set	NOUN
ejpam-5030	49	8	(	(	PUNCT
ejpam-5030	49	9	ifs	ifs	PROPN
ejpam-5030	49	10	)	)	PUNCT
ejpam-5030	49	11	a	a	PRON
ejpam-5030	49	12	in	in	ADP
ejpam-5030	49	13	m	m	PROPN
ejpam-5030	49	14	(	(	PUNCT
ejpam-5030	49	15	see	see	VERB
ejpam-5030	49	16	[	[	X
ejpam-5030	49	17	5	5	NUM
ejpam-5030	49	18	]	]	PUNCT
ejpam-5030	49	19	)	)	PUNCT
ejpam-5030	49	20	is	be	AUX
ejpam-5030	49	21	an	an	DET
ejpam-5030	49	22	object	object	NOUN
ejpam-5030	49	23	having	have	VERB
ejpam-5030	49	24	the	the	DET
ejpam-5030	49	25	form	form	NOUN
ejpam-5030	49	26	a	a	PRON
ejpam-5030	49	27	=	=	SYM
ejpam-5030	49	28	{	{	PUNCT
ejpam-5030	49	29	⟨m0	⟨m0	PROPN
ejpam-5030	49	30	,	,	PUNCT
ejpam-5030	49	31	µa(m0	µa(m0	NOUN
ejpam-5030	49	32	)	)	PUNCT
ejpam-5030	49	33	,	,	PUNCT
ejpam-5030	49	34	γa(m0)⟩	γa(m0)⟩	NOUN
ejpam-5030	49	35	|	|	ADV
ejpam-5030	49	36	m0	m0	PROPN
ejpam-5030	49	37	∈	∈	PROPN
ejpam-5030	49	38	m	m	PRON
ejpam-5030	49	39	}	}	PUNCT
ejpam-5030	49	40	(	(	PUNCT
ejpam-5030	49	41	12	12	NUM
ejpam-5030	49	42	)	)	PUNCT
ejpam-5030	49	43	where	where	SCONJ
ejpam-5030	49	44	the	the	DET
ejpam-5030	49	45	functions	function	NOUN
ejpam-5030	49	46	µa	µa	X
ejpam-5030	49	47	:	:	PUNCT
ejpam-5030	49	48	m	m	VERB
ejpam-5030	49	49	→	→	SYM
ejpam-5030	50	1	[	[	X
ejpam-5030	50	2	0	0	NUM
ejpam-5030	50	3	,	,	PUNCT
ejpam-5030	50	4	1	1	NUM
ejpam-5030	50	5	]	]	PUNCT
ejpam-5030	50	6	and	and	CCONJ
ejpam-5030	50	7	γa	γa	PRON
ejpam-5030	50	8	:	:	PUNCT
ejpam-5030	50	9	m	m	VERB
ejpam-5030	50	10	→	→	SYM
ejpam-5030	51	1	[	[	X
ejpam-5030	51	2	0	0	NUM
ejpam-5030	51	3	,	,	PUNCT
ejpam-5030	51	4	1	1	NUM
ejpam-5030	51	5	]	]	PUNCT
ejpam-5030	51	6	denote	denote	VERB
ejpam-5030	51	7	the	the	DET
ejpam-5030	51	8	degree	degree	NOUN
ejpam-5030	51	9	of	of	ADP
ejpam-5030	51	10	membership	membership	NOUN
ejpam-5030	51	11	(	(	PUNCT
ejpam-5030	51	12	namely	namely	ADV
ejpam-5030	51	13	µa(m0	µa(m0	NOUN
ejpam-5030	51	14	)	)	PUNCT
ejpam-5030	51	15	)	)	PUNCT
ejpam-5030	51	16	and	and	CCONJ
ejpam-5030	51	17	the	the	DET
ejpam-5030	51	18	degree	degree	NOUN
ejpam-5030	51	19	of	of	ADP
ejpam-5030	51	20	nonmembership	nonmembership	NOUN
ejpam-5030	51	21	(	(	PUNCT
ejpam-5030	51	22	namely	namely	ADV
ejpam-5030	51	23	γa(m0	γa(m0	NOUN
ejpam-5030	51	24	)	)	PUNCT
ejpam-5030	51	25	)	)	PUNCT
ejpam-5030	51	26	of	of	ADP
ejpam-5030	51	27	each	each	DET
ejpam-5030	51	28	element	element	NOUN
ejpam-5030	51	29	m0	m0	NOUN
ejpam-5030	51	30	∈	∈	PROPN
ejpam-5030	51	31	m	m	VERB
ejpam-5030	51	32	to	to	ADP
ejpam-5030	51	33	the	the	DET
ejpam-5030	51	34	set	set	NOUN
ejpam-5030	51	35	a	a	PRON
ejpam-5030	51	36	,	,	PUNCT
ejpam-5030	51	37	respectively	respectively	ADV
ejpam-5030	51	38	,	,	PUNCT
ejpam-5030	51	39	and	and	CCONJ
ejpam-5030	51	40	0	0	NUM
ejpam-5030	51	41	≤	≤	NUM
ejpam-5030	51	42	µa(m0	µa(m0	NOUN
ejpam-5030	51	43	)	)	PUNCT
ejpam-5030	51	44	+	+	CCONJ
ejpam-5030	51	45	γa(m0	γa(m0	NOUN
ejpam-5030	51	46	)	)	PUNCT
ejpam-5030	51	47	≤	≤	NUM
ejpam-5030	51	48	1	1	NUM
ejpam-5030	51	49	(	(	PUNCT
ejpam-5030	51	50	13	13	NUM
ejpam-5030	51	51	)	)	PUNCT
ejpam-5030	51	52	for	for	ADP
ejpam-5030	51	53	each	each	DET
ejpam-5030	51	54	m0	m0	NOUN
ejpam-5030	51	55	∈	∈	PROPN
ejpam-5030	51	56	m	m	VERB
ejpam-5030	51	57	.	.	PUNCT
ejpam-5030	52	1	for	for	ADP
ejpam-5030	52	2	the	the	DET
ejpam-5030	52	3	sake	sake	NOUN
ejpam-5030	52	4	of	of	ADP
ejpam-5030	52	5	simplicity	simplicity	NOUN
ejpam-5030	52	6	,	,	PUNCT
ejpam-5030	52	7	we	we	PRON
ejpam-5030	52	8	shall	shall	AUX
ejpam-5030	52	9	use	use	VERB
ejpam-5030	52	10	the	the	DET
ejpam-5030	52	11	symbol	symbol	NOUN
ejpam-5030	52	12	a	a	DET
ejpam-5030	52	13	=	=	SYM
ejpam-5030	52	14	⟨m,µa	⟨m,µa	PROPN
ejpam-5030	52	15	,	,	PUNCT
ejpam-5030	52	16	γa⟩	γa⟩	PROPN
ejpam-5030	52	17	for	for	SCONJ
ejpam-5030	52	18	the	the	DET
ejpam-5030	52	19	intuitionistic	intuitionistic	ADJ
ejpam-5030	52	20	fuzzy	fuzzy	NOUN
ejpam-5030	52	21	set	set	VERB
ejpam-5030	52	22	a	a	PRON
ejpam-5030	52	23	=	=	X
ejpam-5030	52	24	{	{	PUNCT
ejpam-5030	52	25	⟨m0	⟨m0	PROPN
ejpam-5030	52	26	,	,	PUNCT
ejpam-5030	52	27	µa(m0	µa(m0	NOUN
ejpam-5030	52	28	)	)	PUNCT
ejpam-5030	52	29	,	,	PUNCT
ejpam-5030	52	30	γa(m0)⟩	γa(m0)⟩	NOUN
ejpam-5030	53	1	|	|	ADV
ejpam-5030	53	2	m0	m0	PROPN
ejpam-5030	53	3	∈	∈	PROPN
ejpam-5030	53	4	m	m	PRON
ejpam-5030	53	5	}	}	PUNCT
ejpam-5030	53	6	.	.	PUNCT
ejpam-5030	54	1	obviously	obviously	ADV
ejpam-5030	54	2	,	,	PUNCT
ejpam-5030	54	3	every	every	DET
ejpam-5030	54	4	fuzzy	fuzzy	NOUN
ejpam-5030	54	5	set	set	VERB
ejpam-5030	54	6	a′	a′	NOUN
ejpam-5030	54	7	corresponds	correspond	NOUN
ejpam-5030	54	8	to	to	ADP
ejpam-5030	54	9	the	the	DET
ejpam-5030	54	10	following	follow	VERB
ejpam-5030	54	11	intuitionistic	intuitionistic	ADJ
ejpam-5030	54	12	fuzzy	fuzzy	ADJ
ejpam-5030	54	13	set	set	NOUN
ejpam-5030	54	14	:	:	PUNCT
ejpam-5030	54	15	a′	a′	PROPN
ejpam-5030	54	16	=	=	SYM
ejpam-5030	54	17	{	{	PUNCT
ejpam-5030	54	18	⟨m0	⟨m0	PROPN
ejpam-5030	54	19	,	,	PUNCT
ejpam-5030	54	20	αa′(m0	αa′(m0	NOUN
ejpam-5030	54	21	)	)	PUNCT
ejpam-5030	54	22	,	,	PUNCT
ejpam-5030	54	23	1−	1−	NUM
ejpam-5030	54	24	αa′(m0)⟩	αa′(m0)⟩	NOUN
ejpam-5030	54	25	|	|	ADV
ejpam-5030	54	26	m0	m0	PROPN
ejpam-5030	54	27	∈	∈	PROPN
ejpam-5030	54	28	m	m	PRON
ejpam-5030	54	29	}	}	PUNCT
ejpam-5030	54	30	.	.	PUNCT
ejpam-5030	55	1	(	(	PUNCT
ejpam-5030	55	2	14	14	NUM
ejpam-5030	55	3	)	)	PUNCT
ejpam-5030	55	4	obviously	obviously	ADV
ejpam-5030	55	5	,	,	PUNCT
ejpam-5030	55	6	for	for	ADP
ejpam-5030	55	7	an	an	DET
ejpam-5030	55	8	ifs	ifs	PROPN
ejpam-5030	55	9	a	a	DET
ejpam-5030	55	10	=	=	SYM
ejpam-5030	55	11	⟨m,µa	⟨m,µa	PROPN
ejpam-5030	55	12	,	,	PUNCT
ejpam-5030	55	13	γa⟩	γa⟩	PROPN
ejpam-5030	55	14	in	in	ADP
ejpam-5030	55	15	m	m	PROPN
ejpam-5030	55	16	,	,	PUNCT
ejpam-5030	55	17	when	when	SCONJ
ejpam-5030	55	18	γa(m0	γa(m0	VERB
ejpam-5030	55	19	)	)	PUNCT
ejpam-5030	55	20	=	=	SYM
ejpam-5030	55	21	1−	1−	NUM
ejpam-5030	55	22	µ(m0)thatis	µ(m0)thatis	ADJ
ejpam-5030	55	23	,	,	PUNCT
ejpam-5030	55	24	µ(m0	µ(m0	NOUN
ejpam-5030	55	25	)	)	PUNCT
ejpam-5030	55	26	+	+	NUM
ejpam-5030	55	27	γa(m0	γa(m0	NOUN
ejpam-5030	55	28	)	)	PUNCT
ejpam-5030	55	29	=	=	SYM
ejpam-5030	55	30	1	1	NUM
ejpam-5030	55	31	(	(	PUNCT
ejpam-5030	55	32	15	15	NUM
ejpam-5030	55	33	)	)	PUNCT
ejpam-5030	55	34	for	for	ADP
ejpam-5030	55	35	every	every	DET
ejpam-5030	55	36	m0	m0	PROPN
ejpam-5030	55	37	∈	∈	PROPN
ejpam-5030	55	38	m	m	PROPN
ejpam-5030	55	39	,	,	PUNCT
ejpam-5030	55	40	the	the	DET
ejpam-5030	55	41	ifs	ifs	PROPN
ejpam-5030	55	42	a	a	PRON
ejpam-5030	55	43	is	be	AUX
ejpam-5030	55	44	a	a	DET
ejpam-5030	55	45	fuzzy	fuzzy	ADJ
ejpam-5030	55	46	set	set	NOUN
ejpam-5030	55	47	.	.	PUNCT
ejpam-5030	56	1	hence	hence	ADV
ejpam-5030	56	2	the	the	DET
ejpam-5030	56	3	notion	notion	NOUN
ejpam-5030	56	4	of	of	ADP
ejpam-5030	56	5	intuitionistic	intuitionistic	ADJ
ejpam-5030	56	6	fuzzy	fuzzy	ADJ
ejpam-5030	56	7	set	set	NOUN
ejpam-5030	56	8	theory	theory	NOUN
ejpam-5030	56	9	is	be	AUX
ejpam-5030	56	10	a	a	DET
ejpam-5030	56	11	generalization	generalization	NOUN
ejpam-5030	56	12	of	of	ADP
ejpam-5030	56	13	fuzzy	fuzzy	ADJ
ejpam-5030	56	14	set	set	NOUN
ejpam-5030	56	15	theory	theory	NOUN
ejpam-5030	56	16	.	.	PUNCT
ejpam-5030	57	1	let	let	VERB
ejpam-5030	57	2	a	a	DET
ejpam-5030	57	3	be	be	AUX
ejpam-5030	57	4	an	an	DET
ejpam-5030	57	5	ifs	ifs	PROPN
ejpam-5030	57	6	in	in	ADP
ejpam-5030	57	7	m	m	PROPN
ejpam-5030	57	8	and	and	CCONJ
ejpam-5030	57	9	let	let	VERB
ejpam-5030	57	10	s	s	NOUN
ejpam-5030	57	11	,	,	PUNCT
ejpam-5030	57	12	t	t	PROPN
ejpam-5030	57	13	∈	∈	PROPN
ejpam-5030	58	1	[	[	X
ejpam-5030	58	2	0	0	NUM
ejpam-5030	58	3	,	,	PUNCT
ejpam-5030	58	4	1	1	NUM
ejpam-5030	58	5	]	]	PUNCT
ejpam-5030	58	6	be	be	AUX
ejpam-5030	58	7	such	such	ADJ
ejpam-5030	58	8	that	that	SCONJ
ejpam-5030	58	9	s+	s+	ADV
ejpam-5030	58	10	t	t	PROPN
ejpam-5030	58	11	≤	≤	NUM
ejpam-5030	58	12	1	1	NUM
ejpam-5030	58	13	.	.	PUNCT
ejpam-5030	59	1	then	then	ADV
ejpam-5030	59	2	the	the	DET
ejpam-5030	59	3	set	set	NOUN
ejpam-5030	59	4	x	x	SYM
ejpam-5030	59	5	(	(	PUNCT
ejpam-5030	59	6	s	s	PROPN
ejpam-5030	59	7	,	,	PUNCT
ejpam-5030	59	8	t	t	PROPN
ejpam-5030	59	9	)	)	PUNCT
ejpam-5030	59	10	a	a	PRON
ejpam-5030	59	11	:	:	PUNCT
ejpam-5030	59	12	=	=	SYM
ejpam-5030	59	13	m0	m0	PROPN
ejpam-5030	59	14	∈	∈	PROPN
ejpam-5030	59	15	m	m	PROPN
ejpam-5030	59	16	|µ(m0	|µ(m0	NOUN
ejpam-5030	59	17	)	)	PUNCT
ejpam-5030	59	18	≥	≥	NUM
ejpam-5030	59	19	s	s	NOUN
ejpam-5030	59	20	,	,	PUNCT
ejpam-5030	59	21	γa(m0	γa(m0	NOUN
ejpam-5030	59	22	)	)	PUNCT
ejpam-5030	59	23	≤	≤	NUM
ejpam-5030	59	24	t	t	PROPN
ejpam-5030	59	25	is	be	AUX
ejpam-5030	59	26	called	call	VERB
ejpam-5030	59	27	an	an	DET
ejpam-5030	59	28	it	it	PRON
ejpam-5030	59	29	(	(	PUNCT
ejpam-5030	59	30	s	s	NOUN
ejpam-5030	59	31	,	,	PUNCT
ejpam-5030	59	32	t)-level	t)-level	PUNCT
ejpam-5030	59	33	subset	subset	NOUN
ejpam-5030	59	34	of	of	ADP
ejpam-5030	59	35	a	a	DET
ejpam-5030	59	36	=	=	SYM
ejpam-5030	59	37	m,µaγ(a	m,µaγ(a	NOUN
ejpam-5030	59	38	)	)	PUNCT
ejpam-5030	59	39	note	note	NOUN
ejpam-5030	59	40	that	that	SCONJ
ejpam-5030	59	41	m	m	VERB
ejpam-5030	59	42	(	(	PUNCT
ejpam-5030	59	43	s	s	PROPN
ejpam-5030	59	44	,	,	PUNCT
ejpam-5030	59	45	t	t	PROPN
ejpam-5030	59	46	)	)	PUNCT
ejpam-5030	59	47	a	a	DET
ejpam-5030	59	48	=	=	X
ejpam-5030	59	49	m0	m0	PROPN
ejpam-5030	59	50	∈	∈	PROPN
ejpam-5030	59	51	m	m	VERB
ejpam-5030	59	52	|	|	ADV
ejpam-5030	59	53	µ(m	µ(m	NOUN
ejpam-5030	59	54	)	)	PUNCT
ejpam-5030	59	55	≥	≥	NUM
ejpam-5030	59	56	s	s	NOUN
ejpam-5030	59	57	,	,	PUNCT
ejpam-5030	59	58	γa(m0	γa(m0	NOUN
ejpam-5030	59	59	)	)	PUNCT
ejpam-5030	59	60	≤	≤	NOUN
ejpam-5030	60	1	t	t	NOUN
ejpam-5030	60	2	=	=	SYM
ejpam-5030	60	3	m0	m0	PROPN
ejpam-5030	60	4	∈	∈	PROPN
ejpam-5030	60	5	m	m	VERB
ejpam-5030	60	6	|	|	ADV
ejpam-5030	60	7	µ(m0	µ(m0	ADJ
ejpam-5030	60	8	)	)	PUNCT
ejpam-5030	60	9	≥	≥	NUM
ejpam-5030	60	10	s	s	NOUN
ejpam-5030	60	11	∩m0	∩m0	NOUN
ejpam-5030	60	12	∈	∈	PROPN
ejpam-5030	60	13	m	m	VERB
ejpam-5030	60	14	|	|	NOUN
ejpam-5030	60	15	γa(m0	γa(m0	NOUN
ejpam-5030	60	16	)	)	PUNCT
ejpam-5030	60	17	≤	≤	NOUN
ejpam-5030	60	18	t	t	NOUN
ejpam-5030	60	19	=	=	SYM
ejpam-5030	60	20	u(µa	u(µa	NOUN
ejpam-5030	60	21	;	;	PUNCT
ejpam-5030	60	22	s	s	X
ejpam-5030	60	23	)	)	PUNCT
ejpam-5030	60	24	∩	∩	PROPN
ejpam-5030	60	25	l(γa	l(γa	PROPN
ejpam-5030	60	26	;	;	PUNCT
ejpam-5030	60	27	t	t	PROPN
ejpam-5030	60	28	)	)	PUNCT
ejpam-5030	60	29	.	.	PUNCT
ejpam-5030	61	1	mohamed	mohamed	PROPN
ejpam-5030	61	2	e	e	PROPN
ejpam-5030	61	3	elnair	elnair	PROPN
ejpam-5030	61	4	/	/	SYM
ejpam-5030	61	5	eur	eur	PROPN
ejpam-5030	61	6	.	.	PUNCT
ejpam-5030	62	1	j.	j.	PROPN
ejpam-5030	62	2	pure	pure	PROPN
ejpam-5030	62	3	appl	appl	PROPN
ejpam-5030	62	4	.	.	PROPN
ejpam-5030	62	5	math	math	PROPN
ejpam-5030	62	6	,	,	PUNCT
ejpam-5030	62	7	17	17	NUM
ejpam-5030	62	8	(	(	PUNCT
ejpam-5030	62	9	1	1	NUM
ejpam-5030	62	10	)	)	PUNCT
ejpam-5030	62	11	(	(	PUNCT
ejpam-5030	62	12	2024	2024	NUM
ejpam-5030	62	13	)	)	PUNCT
ejpam-5030	62	14	,	,	PUNCT
ejpam-5030	62	15	426	426	NUM
ejpam-5030	62	16	-	-	SYM
ejpam-5030	62	17	434	434	NUM
ejpam-5030	62	18	429	429	NUM
ejpam-5030	62	19	3	3	NUM
ejpam-5030	62	20	.	.	PUNCT
ejpam-5030	62	21	intuitionistic	intuitionistic	ADJ
ejpam-5030	62	22	fuzzy	fuzzy	ADJ
ejpam-5030	62	23	ideals	ideal	NOUN
ejpam-5030	62	24	in	in	ADP
ejpam-5030	62	25	what	what	PRON
ejpam-5030	62	26	follows	follow	VERB
ejpam-5030	62	27	,	,	PUNCT
ejpam-5030	62	28	let	let	VERB
ejpam-5030	62	29	m	m	PRON
ejpam-5030	62	30	denote	denote	VERB
ejpam-5030	62	31	a	a	DET
ejpam-5030	62	32	be	be	NOUN
ejpam-5030	62	33	-	-	PUNCT
ejpam-5030	62	34	algebra	algebra	NOUN
ejpam-5030	62	35	unless	unless	SCONJ
ejpam-5030	62	36	otherwise	otherwise	ADV
ejpam-5030	62	37	specified	specify	VERB
ejpam-5030	62	38	.	.	PUNCT
ejpam-5030	63	1	definition	definition	NOUN
ejpam-5030	63	2	2	2	NUM
ejpam-5030	63	3	.	.	PUNCT
ejpam-5030	64	1	an	an	DET
ejpam-5030	64	2	ifs	ifs	PROPN
ejpam-5030	64	3	a	a	PRON
ejpam-5030	64	4	in	in	ADP
ejpam-5030	64	5	m	m	PROPN
ejpam-5030	64	6	is	be	AUX
ejpam-5030	64	7	called	call	VERB
ejpam-5030	64	8	an	an	DET
ejpam-5030	64	9	intuitionistic	intuitionistic	ADJ
ejpam-5030	64	10	fuzzy	fuzzy	ADJ
ejpam-5030	64	11	ideal	ideal	NOUN
ejpam-5030	64	12	of	of	ADP
ejpam-5030	64	13	m	m	PRON
ejpam-5030	64	14	if	if	SCONJ
ejpam-5030	64	15	it	it	PRON
ejpam-5030	64	16	satisfies	satisfy	VERB
ejpam-5030	64	17	:	:	PUNCT
ejpam-5030	64	18	µ(m0	µ(m0	PROPN
ejpam-5030	64	19	∗m1	∗m1	PROPN
ejpam-5030	64	20	)	)	PUNCT
ejpam-5030	64	21	≥	≥	NOUN
ejpam-5030	64	22	µ(m1	µ(m1	NOUN
ejpam-5030	64	23	)	)	PUNCT
ejpam-5030	64	24	,	,	PUNCT
ejpam-5030	64	25	γa(m0	γa(m0	PUNCT
ejpam-5030	64	26	∗m1	∗m1	X
ejpam-5030	64	27	)	)	PUNCT
ejpam-5030	64	28	≤	≤	NUM
ejpam-5030	64	29	γa(m1	γa(m1	NOUN
ejpam-5030	64	30	)	)	PUNCT
ejpam-5030	64	31	,	,	PUNCT
ejpam-5030	64	32	(	(	PUNCT
ejpam-5030	64	33	16	16	X
ejpam-5030	64	34	)	)	PUNCT
ejpam-5030	64	35	µ((m0	µ((m0	NOUN
ejpam-5030	64	36	∗	∗	NOUN
ejpam-5030	64	37	(	(	PUNCT
ejpam-5030	64	38	m1	m1	PROPN
ejpam-5030	64	39	∗m2	∗m2	PROPN
ejpam-5030	64	40	)	)	PUNCT
ejpam-5030	64	41	)	)	PUNCT
ejpam-5030	64	42	∗m2	∗m2	PROPN
ejpam-5030	64	43	)	)	PUNCT
ejpam-5030	64	44	≥	≥	NOUN
ejpam-5030	64	45	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	64	46	)	)	PUNCT
ejpam-5030	64	47	,	,	PUNCT
ejpam-5030	64	48	µ(m1	µ(m1	NOUN
ejpam-5030	64	49	)	)	PUNCT
ejpam-5030	64	50	}	}	PUNCT
ejpam-5030	64	51	,	,	PUNCT
ejpam-5030	64	52	γa((m0	γa((m0	NOUN
ejpam-5030	64	53	∗	∗	NOUN
ejpam-5030	64	54	(	(	PUNCT
ejpam-5030	64	55	m1	m1	PROPN
ejpam-5030	64	56	∗m2	∗m2	PROPN
ejpam-5030	64	57	)	)	PUNCT
ejpam-5030	64	58	)	)	PUNCT
ejpam-5030	64	59	∗m2	∗m2	NOUN
ejpam-5030	64	60	)	)	PUNCT
ejpam-5030	64	61	≤	≤	NUM
ejpam-5030	64	62	max{γa(m0	max{γa(m0	NOUN
ejpam-5030	64	63	)	)	PUNCT
ejpam-5030	64	64	,	,	PUNCT
ejpam-5030	64	65	γa(m1	γa(m1	NOUN
ejpam-5030	64	66	)	)	PUNCT
ejpam-5030	64	67	}	}	PUNCT
ejpam-5030	64	68	(	(	PUNCT
ejpam-5030	64	69	17	17	NUM
ejpam-5030	64	70	)	)	PUNCT
ejpam-5030	64	71	for	for	ADP
ejpam-5030	64	72	all	all	DET
ejpam-5030	64	73	m0,m1,m2	m0,m1,m2	PROPN
ejpam-5030	64	74	∈	∈	PROPN
ejpam-5030	64	75	m.	m.	NOUN
ejpam-5030	64	76	example	example	NOUN
ejpam-5030	64	77	1	1	X
ejpam-5030	64	78	.	.	X
ejpam-5030	64	79	red	red	PROPN
ejpam-5030	64	80	let	let	VERB
ejpam-5030	64	81	m	m	VERB
ejpam-5030	64	82	=	=	PUNCT
ejpam-5030	64	83	{	{	PUNCT
ejpam-5030	64	84	1	1	NUM
ejpam-5030	64	85	,	,	PUNCT
ejpam-5030	64	86	α	α	NOUN
ejpam-5030	64	87	,	,	PUNCT
ejpam-5030	64	88	β	β	X
ejpam-5030	64	89	,	,	PUNCT
ejpam-5030	64	90	γ	γ	PROPN
ejpam-5030	64	91	,	,	PUNCT
ejpam-5030	64	92	λ	λ	PROPN
ejpam-5030	64	93	,	,	PUNCT
ejpam-5030	64	94	0	0	NUM
ejpam-5030	64	95	}	}	PUNCT
ejpam-5030	64	96	be	be	AUX
ejpam-5030	64	97	a	a	DET
ejpam-5030	64	98	set	set	NOUN
ejpam-5030	64	99	with	with	ADP
ejpam-5030	64	100	the	the	DET
ejpam-5030	64	101	following	follow	VERB
ejpam-5030	64	102	cayley	cayley	PROPN
ejpam-5030	65	1	table1	table1	PROPN
ejpam-5030	65	2	.	.	PUNCT
ejpam-5030	65	3	table	table	NOUN
ejpam-5030	65	4	1	1	NUM
ejpam-5030	65	5	:	:	PUNCT
ejpam-5030	65	6	cayley	cayley	ADJ
ejpam-5030	65	7	table	table	NOUN
ejpam-5030	65	8	of	of	ADP
ejpam-5030	65	9	the	the	DET
ejpam-5030	65	10	binary	binary	PROPN
ejpam-5030	65	11	operation	operation	NOUN
ejpam-5030	65	12	∗	∗	NOUN
ejpam-5030	65	13	∗	∗	NOUN
ejpam-5030	65	14	1	1	NUM
ejpam-5030	65	15	α	α	NOUN
ejpam-5030	65	16	β	β	X
ejpam-5030	65	17	γ	γ	X
ejpam-5030	65	18	λ	λ	PROPN
ejpam-5030	65	19	0	0	NUM
ejpam-5030	65	20	1	1	NUM
ejpam-5030	65	21	1	1	NUM
ejpam-5030	65	22	α	α	NOUN
ejpam-5030	65	23	β	β	X
ejpam-5030	65	24	γ	γ	X
ejpam-5030	65	25	λ	λ	PROPN
ejpam-5030	65	26	0	0	PUNCT
ejpam-5030	65	27	α	α	NOUN
ejpam-5030	65	28	1	1	NUM
ejpam-5030	65	29	1	1	NUM
ejpam-5030	65	30	α	α	NUM
ejpam-5030	65	31	γ	γ	X
ejpam-5030	65	32	γ	γ	X
ejpam-5030	65	33	λ	λ	PROPN
ejpam-5030	65	34	β	β	NOUN
ejpam-5030	65	35	1	1	NUM
ejpam-5030	65	36	1	1	NUM
ejpam-5030	65	37	1	1	NUM
ejpam-5030	65	38	γ	γ	PROPN
ejpam-5030	65	39	γ	γ	X
ejpam-5030	65	40	γ	γ	X
ejpam-5030	65	41	γ	γ	X
ejpam-5030	65	42	1	1	NUM
ejpam-5030	65	43	α	α	NOUN
ejpam-5030	65	44	β	β	NOUN
ejpam-5030	65	45	1	1	NUM
ejpam-5030	65	46	α	α	NOUN
ejpam-5030	65	47	β	β	X
ejpam-5030	65	48	λ	λ	NOUN
ejpam-5030	65	49	1	1	NUM
ejpam-5030	65	50	1	1	NUM
ejpam-5030	65	51	α	α	NUM
ejpam-5030	65	52	1	1	NUM
ejpam-5030	65	53	1	1	NUM
ejpam-5030	65	54	α	α	NOUN
ejpam-5030	65	55	0	0	NUM
ejpam-5030	65	56	1	1	NUM
ejpam-5030	65	57	1	1	NUM
ejpam-5030	65	58	1	1	NUM
ejpam-5030	65	59	1	1	NUM
ejpam-5030	65	60	1	1	NUM
ejpam-5030	65	61	1	1	NUM
ejpam-5030	65	62	then	then	ADV
ejpam-5030	65	63	(	(	PUNCT
ejpam-5030	65	64	m	m	PROPN
ejpam-5030	65	65	;	;	PUNCT
ejpam-5030	65	66	∗	∗	NOUN
ejpam-5030	65	67	,	,	PUNCT
ejpam-5030	65	68	1	1	NUM
ejpam-5030	65	69	)	)	PUNCT
ejpam-5030	65	70	is	be	AUX
ejpam-5030	65	71	a	a	DET
ejpam-5030	65	72	be	be	NOUN
ejpam-5030	65	73	-	-	PUNCT
ejpam-5030	65	74	algebra	algebra	NOUN
ejpam-5030	65	75	(	(	PUNCT
ejpam-5030	65	76	see	see	VERB
ejpam-5030	65	77	[	[	X
ejpam-5030	65	78	10	10	NUM
ejpam-5030	65	79	]	]	NUM
ejpam-5030	65	80	)	)	PUNCT
ejpam-5030	65	81	.	.	PUNCT
ejpam-5030	66	1	let	let	VERB
ejpam-5030	66	2	a	a	DET
ejpam-5030	66	3	be	be	AUX
ejpam-5030	66	4	an	an	DET
ejpam-5030	66	5	ifs	ifs	PROPN
ejpam-5030	66	6	in	in	ADP
ejpam-5030	66	7	m	m	PROPN
ejpam-5030	66	8	given	give	VERB
ejpam-5030	66	9	by	by	ADP
ejpam-5030	66	10	a	a	DET
ejpam-5030	66	11	=	=	SYM
ejpam-5030	66	12	⟨m	⟨m	PROPN
ejpam-5030	66	13	,	,	PUNCT
ejpam-5030	66	14	(	(	PUNCT
ejpam-5030	66	15	1	1	NUM
ejpam-5030	66	16	0.7	0.7	NUM
ejpam-5030	66	17	,	,	PUNCT
ejpam-5030	66	18	α	α	PROPN
ejpam-5030	66	19	0.7	0.7	NUM
ejpam-5030	66	20	,	,	PUNCT
ejpam-5030	66	21	β	β	X
ejpam-5030	66	22	0.7	0.7	NUM
ejpam-5030	66	23	,	,	PUNCT
ejpam-5030	66	24	γ	γ	X
ejpam-5030	66	25	0.2	0.2	NUM
ejpam-5030	66	26	,	,	PUNCT
ejpam-5030	66	27	λ	λ	PROPN
ejpam-5030	66	28	0.2	0.2	NUM
ejpam-5030	66	29	,	,	PUNCT
ejpam-5030	66	30	0	0	NUM
ejpam-5030	66	31	0.2	0.2	NUM
ejpam-5030	66	32	)	)	PUNCT
ejpam-5030	66	33	,	,	PUNCT
ejpam-5030	66	34	(	(	PUNCT
ejpam-5030	66	35	1	1	NUM
ejpam-5030	66	36	0.1	0.1	NUM
ejpam-5030	66	37	,	,	PUNCT
ejpam-5030	66	38	α	α	NOUN
ejpam-5030	66	39	0.1	0.1	NUM
ejpam-5030	66	40	,	,	PUNCT
ejpam-5030	66	41	β	β	X
ejpam-5030	66	42	0.1	0.1	NUM
ejpam-5030	66	43	,	,	PUNCT
ejpam-5030	66	44	γ	γ	X
ejpam-5030	66	45	0.3	0.3	NUM
ejpam-5030	66	46	,	,	PUNCT
ejpam-5030	66	47	λ	λ	PROPN
ejpam-5030	66	48	0.3	0.3	NUM
ejpam-5030	66	49	,	,	PUNCT
ejpam-5030	66	50	0	0	NUM
ejpam-5030	66	51	0.3⟩.	0.3⟩.	NUM
ejpam-5030	66	52	then	then	ADV
ejpam-5030	66	53	a	a	PRON
ejpam-5030	66	54	is	be	AUX
ejpam-5030	66	55	an	an	DET
ejpam-5030	66	56	intuitionistic	intuitionistic	ADJ
ejpam-5030	66	57	fuzzy	fuzzy	ADJ
ejpam-5030	66	58	ideal	ideal	NOUN
ejpam-5030	66	59	of	of	ADP
ejpam-5030	66	60	m.	m.	NOUN
ejpam-5030	66	61	example	example	NOUN
ejpam-5030	67	1	2	2	X
ejpam-5030	67	2	.	.	PUNCT
ejpam-5030	67	3	let	let	VERB
ejpam-5030	67	4	m	m	VERB
ejpam-5030	67	5	=	=	PUNCT
ejpam-5030	67	6	{	{	PUNCT
ejpam-5030	67	7	1	1	NUM
ejpam-5030	67	8	,	,	PUNCT
ejpam-5030	67	9	α	α	NOUN
ejpam-5030	67	10	,	,	PUNCT
ejpam-5030	67	11	β	β	X
ejpam-5030	67	12	,	,	PUNCT
ejpam-5030	67	13	γ	γ	PROPN
ejpam-5030	67	14	,	,	PUNCT
ejpam-5030	67	15	λ	λ	PROPN
ejpam-5030	67	16	,	,	PUNCT
ejpam-5030	67	17	0	0	NUM
ejpam-5030	67	18	}	}	PUNCT
ejpam-5030	67	19	be	be	AUX
ejpam-5030	67	20	the	the	DET
ejpam-5030	67	21	be	be	NOUN
ejpam-5030	67	22	-	-	PUNCT
ejpam-5030	67	23	algebra	algebra	NOUN
ejpam-5030	67	24	which	which	PRON
ejpam-5030	67	25	is	be	AUX
ejpam-5030	67	26	given	give	VERB
ejpam-5030	67	27	in	in	ADP
ejpam-5030	67	28	example	example	NOUN
ejpam-5030	67	29	1	1	NUM
ejpam-5030	67	30	.	.	PUNCT
ejpam-5030	68	1	let	let	VERB
ejpam-5030	68	2	b	b	X
ejpam-5030	68	3	be	be	AUX
ejpam-5030	68	4	an	an	DET
ejpam-5030	68	5	ifs	ifs	PROPN
ejpam-5030	68	6	in	in	ADP
ejpam-5030	68	7	m	m	PROPN
ejpam-5030	68	8	given	give	VERB
ejpam-5030	68	9	by	by	ADP
ejpam-5030	68	10	b	b	NOUN
ejpam-5030	68	11	=	=	SYM
ejpam-5030	68	12	⟨⟨m	⟨⟨m	PROPN
ejpam-5030	68	13	,	,	PUNCT
ejpam-5030	68	14	(	(	PUNCT
ejpam-5030	68	15	1	1	NUM
ejpam-5030	68	16	0.6	0.6	NUM
ejpam-5030	68	17	,	,	PUNCT
ejpam-5030	68	18	α	α	NOUN
ejpam-5030	68	19	0.6	0.6	NUM
ejpam-5030	68	20	,	,	PUNCT
ejpam-5030	68	21	β	β	X
ejpam-5030	68	22	0.3	0.3	NUM
ejpam-5030	68	23	,	,	PUNCT
ejpam-5030	68	24	γ	γ	X
ejpam-5030	68	25	0.3	0.3	NUM
ejpam-5030	68	26	,	,	PUNCT
ejpam-5030	68	27	λ	λ	PROPN
ejpam-5030	68	28	0.3	0.3	NUM
ejpam-5030	68	29	,	,	PUNCT
ejpam-5030	68	30	0	0	NUM
ejpam-5030	68	31	0.3	0.3	NUM
ejpam-5030	68	32	)	)	PUNCT
ejpam-5030	68	33	,	,	PUNCT
ejpam-5030	68	34	(	(	PUNCT
ejpam-5030	68	35	1	1	NUM
ejpam-5030	68	36	0.2	0.2	NUM
ejpam-5030	68	37	,	,	PUNCT
ejpam-5030	68	38	α	α	PROPN
ejpam-5030	68	39	0.2	0.2	NUM
ejpam-5030	68	40	,	,	PUNCT
ejpam-5030	69	1	β	β	X
ejpam-5030	69	2	0.5	0.5	NUM
ejpam-5030	69	3	,	,	PUNCT
ejpam-5030	69	4	γ	γ	X
ejpam-5030	69	5	0.5	0.5	NUM
ejpam-5030	69	6	,	,	PUNCT
ejpam-5030	69	7	λ	λ	PROPN
ejpam-5030	69	8	0.5	0.5	NUM
ejpam-5030	69	9	,	,	PUNCT
ejpam-5030	69	10	0	0	NUM
ejpam-5030	69	11	0.5	0.5	NUM
ejpam-5030	69	12	)	)	PUNCT
ejpam-5030	69	13	⟩.	⟩.	NOUN
ejpam-5030	69	14	then	then	ADV
ejpam-5030	69	15	b	b	PROPN
ejpam-5030	69	16	is	be	AUX
ejpam-5030	69	17	not	not	PART
ejpam-5030	69	18	an	an	DET
ejpam-5030	69	19	intuitionistic	intuitionistic	ADJ
ejpam-5030	69	20	fuzzy	fuzzy	ADJ
ejpam-5030	69	21	ideal	ideal	NOUN
ejpam-5030	69	22	of	of	ADP
ejpam-5030	69	23	m	m	PRON
ejpam-5030	69	24	since	since	SCONJ
ejpam-5030	69	25	µ((α	µ((α	NOUN
ejpam-5030	69	26	∗	∗	NOUN
ejpam-5030	69	27	(	(	PUNCT
ejpam-5030	69	28	α	α	X
ejpam-5030	69	29	∗	∗	NOUN
ejpam-5030	69	30	β	β	NOUN
ejpam-5030	69	31	)	)	PUNCT
ejpam-5030	69	32	)	)	PUNCT
ejpam-5030	69	33	∗	∗	NOUN
ejpam-5030	69	34	β	β	X
ejpam-5030	69	35	)	)	PUNCT
ejpam-5030	69	36	<	<	X
ejpam-5030	69	37	µ(α	µ(α	PROPN
ejpam-5030	69	38	)	)	PUNCT
ejpam-5030	69	39	=	=	SYM
ejpam-5030	69	40	min{µ(α	min{µ(α	PROPN
ejpam-5030	69	41	)	)	PUNCT
ejpam-5030	69	42	,	,	PUNCT
ejpam-5030	69	43	µ(β	µ(β	NOUN
ejpam-5030	69	44	)	)	PUNCT
ejpam-5030	69	45	}	}	PUNCT
ejpam-5030	69	46	and/or	and/or	CCONJ
ejpam-5030	69	47	γa((α	γa((α	PROPN
ejpam-5030	69	48	∗	∗	NOUN
ejpam-5030	69	49	(	(	PUNCT
ejpam-5030	69	50	α	α	X
ejpam-5030	69	51	∗	∗	NOUN
ejpam-5030	69	52	β	β	NOUN
ejpam-5030	69	53	)	)	PUNCT
ejpam-5030	69	54	)	)	PUNCT
ejpam-5030	69	55	∗	∗	NOUN
ejpam-5030	69	56	β	β	NOUN
ejpam-5030	69	57	)	)	PUNCT
ejpam-5030	69	58	>	>	X
ejpam-5030	69	59	γa(α	γa(α	PUNCT
ejpam-5030	69	60	)	)	PUNCT
ejpam-5030	69	61	=	=	SYM
ejpam-5030	69	62	max{γa(α	max{γa(α	NOUN
ejpam-5030	69	63	)	)	PUNCT
ejpam-5030	69	64	,	,	PUNCT
ejpam-5030	69	65	γa(α	γa(α	PUNCT
ejpam-5030	69	66	)	)	PUNCT
ejpam-5030	69	67	}	}	PUNCT
ejpam-5030	69	68	.	.	PUNCT
ejpam-5030	70	1	lemma	lemma	PROPN
ejpam-5030	70	2	1	1	NUM
ejpam-5030	70	3	.	.	PUNCT
ejpam-5030	71	1	every	every	DET
ejpam-5030	71	2	intuitionistic	intuitionistic	ADJ
ejpam-5030	71	3	fuzzy	fuzzy	ADJ
ejpam-5030	71	4	ideal	ideal	NOUN
ejpam-5030	71	5	a	a	PRON
ejpam-5030	71	6	of	of	ADP
ejpam-5030	71	7	m	m	PROPN
ejpam-5030	71	8	satisfies	satisfie	NOUN
ejpam-5030	71	9	the	the	DET
ejpam-5030	71	10	following	follow	VERB
ejpam-5030	71	11	inequality	inequality	NOUN
ejpam-5030	71	12	:	:	PUNCT
ejpam-5030	71	13	(	(	PUNCT
ejpam-5030	71	14	∀m0	∀m0	PROPN
ejpam-5030	71	15	∈	∈	PROPN
ejpam-5030	71	16	m)(µ(1	m)(µ(1	PROPN
ejpam-5030	71	17	)	)	PUNCT
ejpam-5030	71	18	≥	≥	NOUN
ejpam-5030	71	19	µ(m0	µ(m0	NOUN
ejpam-5030	71	20	)	)	PUNCT
ejpam-5030	71	21	,	,	PUNCT
ejpam-5030	71	22	γa(1	γa(1	NOUN
ejpam-5030	71	23	)	)	PUNCT
ejpam-5030	71	24	≤	≤	NUM
ejpam-5030	71	25	γa(m0	γa(m0	NOUN
ejpam-5030	71	26	)	)	PUNCT
ejpam-5030	71	27	)	)	PUNCT
ejpam-5030	71	28	.	.	PUNCT
ejpam-5030	72	1	(	(	PUNCT
ejpam-5030	72	2	18	18	NUM
ejpam-5030	72	3	)	)	PUNCT
ejpam-5030	72	4	mohamed	mohamed	PROPN
ejpam-5030	72	5	e	e	PROPN
ejpam-5030	72	6	elnair	elnair	PROPN
ejpam-5030	72	7	/	/	SYM
ejpam-5030	72	8	eur	eur	PROPN
ejpam-5030	72	9	.	.	PUNCT
ejpam-5030	73	1	j.	j.	PROPN
ejpam-5030	73	2	pure	pure	PROPN
ejpam-5030	73	3	appl	appl	PROPN
ejpam-5030	73	4	.	.	PROPN
ejpam-5030	73	5	math	math	PROPN
ejpam-5030	73	6	,	,	PUNCT
ejpam-5030	73	7	17	17	NUM
ejpam-5030	73	8	(	(	PUNCT
ejpam-5030	73	9	1	1	NUM
ejpam-5030	73	10	)	)	PUNCT
ejpam-5030	73	11	(	(	PUNCT
ejpam-5030	73	12	2024	2024	NUM
ejpam-5030	73	13	)	)	PUNCT
ejpam-5030	73	14	,	,	PUNCT
ejpam-5030	73	15	426	426	NUM
ejpam-5030	73	16	-	-	SYM
ejpam-5030	73	17	434	434	NUM
ejpam-5030	73	18	430	430	NUM
ejpam-5030	73	19	proof	proof	NOUN
ejpam-5030	73	20	.	.	PUNCT
ejpam-5030	74	1	using	use	VERB
ejpam-5030	74	2	(	(	PUNCT
ejpam-5030	74	3	1	1	NUM
ejpam-5030	74	4	)	)	PUNCT
ejpam-5030	74	5	and	and	CCONJ
ejpam-5030	74	6	(	(	PUNCT
ejpam-5030	74	7	16	16	NUM
ejpam-5030	74	8	)	)	PUNCT
ejpam-5030	74	9	,	,	PUNCT
ejpam-5030	74	10	we	we	PRON
ejpam-5030	74	11	have	have	VERB
ejpam-5030	74	12	µ(1	µ(1	PRON
ejpam-5030	74	13	)	)	PUNCT
ejpam-5030	75	1	=	=	SYM
ejpam-5030	75	2	µ(m0	µ(m0	NOUN
ejpam-5030	75	3	∗m0	∗m0	PROPN
ejpam-5030	75	4	)	)	PUNCT
ejpam-5030	75	5	≥	≥	NOUN
ejpam-5030	75	6	µ(m0	µ(m0	NOUN
ejpam-5030	75	7	)	)	PUNCT
ejpam-5030	75	8	,	,	PUNCT
ejpam-5030	75	9	γa(1	γa(1	NOUN
ejpam-5030	75	10	)	)	PUNCT
ejpam-5030	75	11	=	=	SYM
ejpam-5030	75	12	γa(m0	γa(m0	NOUN
ejpam-5030	75	13	∗m0	∗m0	PROPN
ejpam-5030	75	14	)	)	PUNCT
ejpam-5030	75	15	≤	≤	NUM
ejpam-5030	75	16	γa(m0	γa(m0	NOUN
ejpam-5030	75	17	)	)	PUNCT
ejpam-5030	75	18	for	for	ADP
ejpam-5030	75	19	all	all	DET
ejpam-5030	75	20	m0	m0	PROPN
ejpam-5030	75	21	∈	∈	PROPN
ejpam-5030	75	22	m.	m.	NOUN
ejpam-5030	75	23	proposition	proposition	NOUN
ejpam-5030	75	24	1	1	NUM
ejpam-5030	75	25	.	.	PUNCT
ejpam-5030	76	1	if	if	SCONJ
ejpam-5030	76	2	a	a	PRON
ejpam-5030	76	3	is	be	AUX
ejpam-5030	76	4	an	an	DET
ejpam-5030	76	5	intuitionistic	intuitionistic	ADJ
ejpam-5030	76	6	fuzzy	fuzzy	ADJ
ejpam-5030	76	7	ideal	ideal	NOUN
ejpam-5030	76	8	of	of	ADP
ejpam-5030	76	9	m	m	PROPN
ejpam-5030	76	10	,	,	PUNCT
ejpam-5030	76	11	then	then	ADV
ejpam-5030	76	12	(	(	PUNCT
ejpam-5030	76	13	∀m0,m1	∀m0,m1	PROPN
ejpam-5030	76	14	∈	∈	PROPN
ejpam-5030	76	15	m	m	NOUN
ejpam-5030	76	16	)	)	PUNCT
ejpam-5030	76	17	(	(	PUNCT
ejpam-5030	76	18	µ((m0	µ((m0	NOUN
ejpam-5030	76	19	∗m1	∗m1	NOUN
ejpam-5030	76	20	)	)	PUNCT
ejpam-5030	76	21	∗m1	∗m1	X
ejpam-5030	76	22	)	)	PUNCT
ejpam-5030	76	23	≥	≥	NOUN
ejpam-5030	76	24	µ(m0	µ(m0	NOUN
ejpam-5030	76	25	)	)	PUNCT
ejpam-5030	76	26	,	,	PUNCT
ejpam-5030	76	27	γa((m0	γa((m0	NOUN
ejpam-5030	76	28	∗m1	∗m1	X
ejpam-5030	76	29	)	)	PUNCT
ejpam-5030	76	30	∗m1	∗m1	X
ejpam-5030	76	31	)	)	PUNCT
ejpam-5030	76	32	≤	≤	NUM
ejpam-5030	76	33	γa(m0	γa(m0	NOUN
ejpam-5030	76	34	)	)	PUNCT
ejpam-5030	76	35	)	)	PUNCT
ejpam-5030	76	36	.	.	PUNCT
ejpam-5030	77	1	(	(	PUNCT
ejpam-5030	77	2	19	19	NUM
ejpam-5030	77	3	)	)	PUNCT
ejpam-5030	77	4	proof	proof	NOUN
ejpam-5030	77	5	.	.	PUNCT
ejpam-5030	78	1	taking	take	VERB
ejpam-5030	78	2	m1	m1	NOUN
ejpam-5030	78	3	=	=	SYM
ejpam-5030	78	4	1	1	NUM
ejpam-5030	78	5	and	and	CCONJ
ejpam-5030	78	6	m2	m2	PROPN
ejpam-5030	78	7	=	=	PROPN
ejpam-5030	78	8	m1	m1	PROPN
ejpam-5030	78	9	in	in	ADP
ejpam-5030	78	10	(	(	PUNCT
ejpam-5030	78	11	17	17	NUM
ejpam-5030	78	12	)	)	PUNCT
ejpam-5030	78	13	and	and	CCONJ
ejpam-5030	78	14	using	use	VERB
ejpam-5030	78	15	(	(	PUNCT
ejpam-5030	78	16	3	3	NUM
ejpam-5030	78	17	)	)	PUNCT
ejpam-5030	78	18	and	and	CCONJ
ejpam-5030	78	19	lemma	lemma	PROPN
ejpam-5030	78	20	1	1	NUM
ejpam-5030	78	21	,	,	PUNCT
ejpam-5030	78	22	we	we	PRON
ejpam-5030	78	23	get	get	VERB
ejpam-5030	78	24	µ((m0	µ((m0	NOUN
ejpam-5030	78	25	∗m1	∗m1	NOUN
ejpam-5030	78	26	)	)	PUNCT
ejpam-5030	78	27	∗m1	∗m1	X
ejpam-5030	78	28	)	)	PUNCT
ejpam-5030	79	1	=	=	SYM
ejpam-5030	79	2	µ((m0	µ((m0	NOUN
ejpam-5030	79	3	∗	∗	NOUN
ejpam-5030	79	4	(	(	PUNCT
ejpam-5030	79	5	1	1	NUM
ejpam-5030	79	6	∗m1	∗m1	NUM
ejpam-5030	79	7	)	)	PUNCT
ejpam-5030	79	8	)	)	PUNCT
ejpam-5030	79	9	∗m1	∗m1	X
ejpam-5030	79	10	)	)	PUNCT
ejpam-5030	79	11	≥	≥	NOUN
ejpam-5030	79	12	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	79	13	)	)	PUNCT
ejpam-5030	79	14	,	,	PUNCT
ejpam-5030	79	15	µ(1	µ(1	PROPN
ejpam-5030	79	16	)	)	PUNCT
ejpam-5030	79	17	}	}	PUNCT
ejpam-5030	79	18	=	=	SYM
ejpam-5030	79	19	µ(m0	µ(m0	NOUN
ejpam-5030	79	20	)	)	PUNCT
ejpam-5030	79	21	and	and	CCONJ
ejpam-5030	79	22	γa((m0	γa((m0	NOUN
ejpam-5030	79	23	∗m1	∗m1	X
ejpam-5030	79	24	)	)	PUNCT
ejpam-5030	79	25	∗m1	∗m1	X
ejpam-5030	79	26	)	)	PUNCT
ejpam-5030	80	1	=	=	SYM
ejpam-5030	80	2	γa((m0	γa((m0	NOUN
ejpam-5030	80	3	∗	∗	NOUN
ejpam-5030	80	4	(	(	PUNCT
ejpam-5030	80	5	1	1	NUM
ejpam-5030	80	6	∗m1	∗m1	NUM
ejpam-5030	80	7	)	)	PUNCT
ejpam-5030	80	8	)	)	PUNCT
ejpam-5030	81	1	∗m1	∗m1	X
ejpam-5030	81	2	)	)	PUNCT
ejpam-5030	81	3	≤	≤	NUM
ejpam-5030	81	4	max{γa(m0	max{γa(m0	NOUN
ejpam-5030	81	5	)	)	PUNCT
ejpam-5030	81	6	,	,	PUNCT
ejpam-5030	81	7	γa(1	γa(1	NOUN
ejpam-5030	81	8	)	)	PUNCT
ejpam-5030	81	9	}	}	PUNCT
ejpam-5030	81	10	=	=	SYM
ejpam-5030	81	11	γa(m0	γa(m0	NOUN
ejpam-5030	81	12	)	)	PUNCT
ejpam-5030	81	13	for	for	ADP
ejpam-5030	81	14	all	all	DET
ejpam-5030	81	15	m0,m1	m0,m1	PROPN
ejpam-5030	81	16	∈	∈	PROPN
ejpam-5030	81	17	m.	m.	NOUN
ejpam-5030	81	18	corollary	corollary	NOUN
ejpam-5030	81	19	1	1	NUM
ejpam-5030	81	20	.	.	PUNCT
ejpam-5030	82	1	every	every	DET
ejpam-5030	82	2	intuitionistic	intuitionistic	ADJ
ejpam-5030	82	3	fuzzy	fuzzy	ADJ
ejpam-5030	82	4	ideal	ideal	NOUN
ejpam-5030	82	5	a	a	PRON
ejpam-5030	82	6	of	of	ADP
ejpam-5030	82	7	m	m	PROPN
ejpam-5030	82	8	is	be	AUX
ejpam-5030	82	9	intuitionistic	intuitionistic	ADJ
ejpam-5030	82	10	order	order	NOUN
ejpam-5030	82	11	preserving	preserve	VERB
ejpam-5030	82	12	,	,	PUNCT
ejpam-5030	82	13	that	that	ADV
ejpam-5030	82	14	is	is	ADV
ejpam-5030	82	15	,	,	PUNCT
ejpam-5030	82	16	a	a	DET
ejpam-5030	82	17	satisfies	satisfie	NOUN
ejpam-5030	82	18	:	:	PUNCT
ejpam-5030	82	19	(	(	PUNCT
ejpam-5030	82	20	∀m0,m1	∀m0,m1	PROPN
ejpam-5030	82	21	∈	∈	PROPN
ejpam-5030	82	22	m	m	NOUN
ejpam-5030	82	23	)	)	PUNCT
ejpam-5030	82	24	(	(	PUNCT
ejpam-5030	83	1	m0	m0	PROPN
ejpam-5030	83	2	≤	≤	NUM
ejpam-5030	83	3	y	y	PROPN
ejpam-5030	83	4	⇒	⇒	PROPN
ejpam-5030	83	5	µ(m0	µ(m0	NOUN
ejpam-5030	83	6	)	)	PUNCT
ejpam-5030	83	7	≤	≤	NOUN
ejpam-5030	83	8	µ(m1	µ(m1	NOUN
ejpam-5030	83	9	)	)	PUNCT
ejpam-5030	83	10	,	,	PUNCT
ejpam-5030	83	11	γa(m0	γa(m0	NOUN
ejpam-5030	83	12	)	)	PUNCT
ejpam-5030	83	13	≥	≥	NOUN
ejpam-5030	83	14	γa(m1	γa(m1	NOUN
ejpam-5030	83	15	)	)	PUNCT
ejpam-5030	83	16	)	)	PUNCT
ejpam-5030	83	17	.	.	PUNCT
ejpam-5030	84	1	(	(	PUNCT
ejpam-5030	84	2	20	20	X
ejpam-5030	84	3	)	)	PUNCT
ejpam-5030	84	4	proof	proof	NOUN
ejpam-5030	84	5	.	.	PUNCT
ejpam-5030	85	1	let	let	VERB
ejpam-5030	85	2	m0,m1	m0,m1	PROPN
ejpam-5030	85	3	∈	∈	PROPN
ejpam-5030	85	4	m	m	AUX
ejpam-5030	85	5	be	be	VERB
ejpam-5030	85	6	such	such	ADJ
ejpam-5030	85	7	that	that	SCONJ
ejpam-5030	85	8	m0	m0	PROPN
ejpam-5030	85	9	≤	≤	PROPN
ejpam-5030	85	10	m1	m1	NOUN
ejpam-5030	85	11	.	.	PUNCT
ejpam-5030	86	1	then	then	ADV
ejpam-5030	86	2	m0	m0	PROPN
ejpam-5030	86	3	∗m1	∗m1	PUNCT
ejpam-5030	86	4	=	=	SYM
ejpam-5030	86	5	1	1	NUM
ejpam-5030	86	6	,	,	PUNCT
ejpam-5030	86	7	and	and	CCONJ
ejpam-5030	86	8	so	so	ADV
ejpam-5030	86	9	µ(m1	µ(m1	NOUN
ejpam-5030	86	10	)	)	PUNCT
ejpam-5030	86	11	=	=	PUNCT
ejpam-5030	86	12	µ(1	µ(1	PROPN
ejpam-5030	86	13	∗m1	∗m1	PROPN
ejpam-5030	86	14	)	)	PUNCT
ejpam-5030	87	1	=	=	SYM
ejpam-5030	87	2	µ((m0	µ((m0	NOUN
ejpam-5030	87	3	∗m1	∗m1	NOUN
ejpam-5030	87	4	)	)	PUNCT
ejpam-5030	87	5	∗m1	∗m1	X
ejpam-5030	87	6	)	)	PUNCT
ejpam-5030	87	7	≥	≥	NOUN
ejpam-5030	87	8	µ(m0	µ(m0	NOUN
ejpam-5030	87	9	)	)	PUNCT
ejpam-5030	87	10	and	and	CCONJ
ejpam-5030	87	11	γa(m1	γa(m1	NUM
ejpam-5030	87	12	)	)	PUNCT
ejpam-5030	88	1	=	=	PUNCT
ejpam-5030	89	1	γa(1	γa(1	NOUN
ejpam-5030	89	2	∗m1	∗m1	NOUN
ejpam-5030	89	3	)	)	PUNCT
ejpam-5030	89	4	=	=	SYM
ejpam-5030	89	5	γa((m0	γa((m0	NOUN
ejpam-5030	89	6	∗m1	∗m1	X
ejpam-5030	89	7	)	)	PUNCT
ejpam-5030	89	8	∗m1	∗m1	X
ejpam-5030	89	9	)	)	PUNCT
ejpam-5030	89	10	≥	≥	NOUN
ejpam-5030	89	11	µ(m0	µ(m0	NOUN
ejpam-5030	89	12	)	)	PUNCT
ejpam-5030	89	13	by	by	ADP
ejpam-5030	89	14	(	(	PUNCT
ejpam-5030	89	15	3	3	NUM
ejpam-5030	89	16	)	)	PUNCT
ejpam-5030	89	17	and	and	CCONJ
ejpam-5030	89	18	(	(	PUNCT
ejpam-5030	89	19	19	19	NUM
ejpam-5030	89	20	)	)	PUNCT
ejpam-5030	89	21	.	.	PUNCT
ejpam-5030	90	1	proposition	proposition	NOUN
ejpam-5030	90	2	2	2	NUM
ejpam-5030	90	3	.	.	PUNCT
ejpam-5030	90	4	let	let	VERB
ejpam-5030	90	5	a	a	DET
ejpam-5030	90	6	be	be	AUX
ejpam-5030	90	7	an	an	DET
ejpam-5030	90	8	ifs	ifs	PROPN
ejpam-5030	90	9	in	in	ADP
ejpam-5030	90	10	m	m	PROPN
ejpam-5030	90	11	which	which	DET
ejpam-5030	90	12	satisfies	satisfie	NOUN
ejpam-5030	90	13	(	(	PUNCT
ejpam-5030	90	14	18	18	NUM
ejpam-5030	90	15	)	)	PUNCT
ejpam-5030	90	16	and	and	CCONJ
ejpam-5030	90	17	µ(m0	µ(m0	NOUN
ejpam-5030	90	18	∗m2	∗m2	PROPN
ejpam-5030	90	19	)	)	PUNCT
ejpam-5030	90	20	≥	≥	NOUN
ejpam-5030	90	21	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	90	22	∗	∗	NOUN
ejpam-5030	90	23	(	(	PUNCT
ejpam-5030	90	24	m1	m1	PROPN
ejpam-5030	90	25	∗m2	∗m2	PROPN
ejpam-5030	90	26	)	)	PUNCT
ejpam-5030	90	27	)	)	PUNCT
ejpam-5030	90	28	,	,	PUNCT
ejpam-5030	90	29	µ(m1	µ(m1	NOUN
ejpam-5030	90	30	)	)	PUNCT
ejpam-5030	90	31	}	}	PUNCT
ejpam-5030	90	32	)	)	PUNCT
ejpam-5030	90	33	,	,	PUNCT
ejpam-5030	90	34	γa(m0	γa(m0	PUNCT
ejpam-5030	90	35	∗m2	∗m2	PROPN
ejpam-5030	90	36	)	)	PUNCT
ejpam-5030	90	37	≤	≤	NUM
ejpam-5030	90	38	max{γa(m0	max{γa(m0	NOUN
ejpam-5030	90	39	∗	∗	NOUN
ejpam-5030	90	40	(	(	PUNCT
ejpam-5030	90	41	m1	m1	PROPN
ejpam-5030	90	42	∗m2	∗m2	PROPN
ejpam-5030	90	43	)	)	PUNCT
ejpam-5030	90	44	)	)	PUNCT
ejpam-5030	90	45	,	,	PUNCT
ejpam-5030	90	46	γa(m1	γa(m1	NOUN
ejpam-5030	90	47	)	)	PUNCT
ejpam-5030	90	48	}	}	PUNCT
ejpam-5030	90	49	)	)	PUNCT
ejpam-5030	90	50	(	(	PUNCT
ejpam-5030	90	51	21	21	NUM
ejpam-5030	90	52	)	)	PUNCT
ejpam-5030	90	53	for	for	ADP
ejpam-5030	90	54	all	all	DET
ejpam-5030	90	55	m0,m1,m2	m0,m1,m2	PROPN
ejpam-5030	90	56	∈	∈	PROPN
ejpam-5030	90	57	m.	m.	NOUN
ejpam-5030	90	58	then	then	ADV
ejpam-5030	90	59	a	a	PRON
ejpam-5030	90	60	is	be	AUX
ejpam-5030	90	61	intuitionistic	intuitionistic	ADJ
ejpam-5030	90	62	order	order	NOUN
ejpam-5030	90	63	preserving	preserve	VERB
ejpam-5030	90	64	.	.	PUNCT
ejpam-5030	91	1	proof	proof	NOUN
ejpam-5030	91	2	.	.	PUNCT
ejpam-5030	92	1	let	let	VERB
ejpam-5030	92	2	m0,m1	m0,m1	PROPN
ejpam-5030	92	3	∈	∈	PROPN
ejpam-5030	92	4	m	m	AUX
ejpam-5030	92	5	be	be	VERB
ejpam-5030	92	6	such	such	ADJ
ejpam-5030	92	7	that	that	SCONJ
ejpam-5030	92	8	m0	m0	PROPN
ejpam-5030	92	9	≤	≤	PROPN
ejpam-5030	92	10	m1	m1	NOUN
ejpam-5030	92	11	.	.	PUNCT
ejpam-5030	93	1	then	then	ADV
ejpam-5030	93	2	m0	m0	PROPN
ejpam-5030	93	3	∗m1	∗m1	PUNCT
ejpam-5030	93	4	=	=	SYM
ejpam-5030	93	5	1	1	NUM
ejpam-5030	93	6	,	,	PUNCT
ejpam-5030	93	7	and	and	CCONJ
ejpam-5030	93	8	so	so	ADV
ejpam-5030	93	9	µ(m1	µ(m1	NOUN
ejpam-5030	93	10	)	)	PUNCT
ejpam-5030	93	11	=	=	PUNCT
ejpam-5030	93	12	µ(1	µ(1	PROPN
ejpam-5030	93	13	∗m1	∗m1	PROPN
ejpam-5030	93	14	)	)	PUNCT
ejpam-5030	93	15	≥	≥	NOUN
ejpam-5030	93	16	min{µ(1	min{µ(1	NOUN
ejpam-5030	93	17	∗	∗	NOUN
ejpam-5030	93	18	(	(	PUNCT
ejpam-5030	93	19	m0	m0	PROPN
ejpam-5030	93	20	∗m1	∗m1	PROPN
ejpam-5030	93	21	)	)	PUNCT
ejpam-5030	93	22	)	)	PUNCT
ejpam-5030	93	23	,	,	PUNCT
ejpam-5030	93	24	µ(m0	µ(m0	NOUN
ejpam-5030	93	25	)	)	PUNCT
ejpam-5030	93	26	}	}	PUNCT
ejpam-5030	94	1	=	=	SYM
ejpam-5030	94	2	min{µ(1	min{µ(1	NOUN
ejpam-5030	94	3	∗	∗	NOUN
ejpam-5030	94	4	1	1	NUM
ejpam-5030	94	5	)	)	PUNCT
ejpam-5030	94	6	,	,	PUNCT
ejpam-5030	94	7	µ(m0	µ(m0	NOUN
ejpam-5030	94	8	)	)	PUNCT
ejpam-5030	94	9	}	}	PUNCT
ejpam-5030	94	10	=	=	SYM
ejpam-5030	94	11	µ(m0	µ(m0	NOUN
ejpam-5030	94	12	)	)	PUNCT
ejpam-5030	94	13	and	and	CCONJ
ejpam-5030	94	14	γa(m1	γa(m1	NUM
ejpam-5030	94	15	)	)	PUNCT
ejpam-5030	94	16	=	=	PUNCT
ejpam-5030	95	1	γa(1	γa(1	NOUN
ejpam-5030	95	2	∗m1	∗m1	NOUN
ejpam-5030	95	3	)	)	PUNCT
ejpam-5030	95	4	≤	≤	NUM
ejpam-5030	95	5	max{γa(1	max{γa(1	NOUN
ejpam-5030	95	6	∗	∗	NOUN
ejpam-5030	95	7	(	(	PUNCT
ejpam-5030	95	8	m0	m0	PROPN
ejpam-5030	95	9	∗m1	∗m1	PROPN
ejpam-5030	95	10	)	)	PUNCT
ejpam-5030	95	11	)	)	PUNCT
ejpam-5030	95	12	,	,	PUNCT
ejpam-5030	95	13	γa(m0	γa(m0	NOUN
ejpam-5030	95	14	)	)	PUNCT
ejpam-5030	95	15	}	}	PUNCT
ejpam-5030	95	16	=	=	SYM
ejpam-5030	95	17	max{γa(1	max{γa(1	PROPN
ejpam-5030	95	18	∗	∗	NOUN
ejpam-5030	95	19	1	1	NUM
ejpam-5030	95	20	)	)	PUNCT
ejpam-5030	95	21	,	,	PUNCT
ejpam-5030	95	22	γa(m0	γa(m0	NOUN
ejpam-5030	95	23	)	)	PUNCT
ejpam-5030	95	24	}	}	PUNCT
ejpam-5030	95	25	=	=	SYM
ejpam-5030	95	26	γa(m0	γa(m0	VERB
ejpam-5030	95	27	)	)	PUNCT
ejpam-5030	95	28	by	by	ADP
ejpam-5030	95	29	(	(	PUNCT
ejpam-5030	95	30	1	1	NUM
ejpam-5030	95	31	)	)	PUNCT
ejpam-5030	95	32	,	,	PUNCT
ejpam-5030	95	33	(	(	PUNCT
ejpam-5030	95	34	3	3	NUM
ejpam-5030	95	35	)	)	PUNCT
ejpam-5030	95	36	,	,	PUNCT
ejpam-5030	95	37	(	(	PUNCT
ejpam-5030	95	38	21	21	NUM
ejpam-5030	95	39	)	)	PUNCT
ejpam-5030	95	40	and	and	CCONJ
ejpam-5030	95	41	(	(	PUNCT
ejpam-5030	95	42	18	18	NUM
ejpam-5030	95	43	)	)	PUNCT
ejpam-5030	95	44	.	.	PUNCT
ejpam-5030	96	1	we	we	PRON
ejpam-5030	96	2	give	give	VERB
ejpam-5030	96	3	a	a	DET
ejpam-5030	96	4	characterization	characterization	NOUN
ejpam-5030	96	5	of	of	ADP
ejpam-5030	96	6	fuzzy	fuzzy	ADJ
ejpam-5030	96	7	ideals	ideal	NOUN
ejpam-5030	96	8	.	.	PUNCT
ejpam-5030	97	1	mohamed	mohamed	PROPN
ejpam-5030	97	2	e	e	PROPN
ejpam-5030	97	3	elnair	elnair	PROPN
ejpam-5030	97	4	/	/	SYM
ejpam-5030	97	5	eur	eur	PROPN
ejpam-5030	97	6	.	.	PUNCT
ejpam-5030	98	1	j.	j.	PROPN
ejpam-5030	98	2	pure	pure	PROPN
ejpam-5030	98	3	appl	appl	PROPN
ejpam-5030	98	4	.	.	PROPN
ejpam-5030	98	5	math	math	PROPN
ejpam-5030	98	6	,	,	PUNCT
ejpam-5030	98	7	17	17	NUM
ejpam-5030	98	8	(	(	PUNCT
ejpam-5030	98	9	1	1	NUM
ejpam-5030	98	10	)	)	PUNCT
ejpam-5030	98	11	(	(	PUNCT
ejpam-5030	98	12	2024	2024	NUM
ejpam-5030	98	13	)	)	PUNCT
ejpam-5030	98	14	,	,	PUNCT
ejpam-5030	98	15	426	426	NUM
ejpam-5030	98	16	-	-	SYM
ejpam-5030	98	17	434	434	NUM
ejpam-5030	98	18	431	431	NUM
ejpam-5030	98	19	theorem	theorem	NOUN
ejpam-5030	98	20	1	1	NUM
ejpam-5030	98	21	.	.	PUNCT
ejpam-5030	99	1	let	let	VERB
ejpam-5030	99	2	m	m	PRON
ejpam-5030	99	3	be	be	AUX
ejpam-5030	99	4	a	a	DET
ejpam-5030	99	5	transitive	transitive	ADJ
ejpam-5030	99	6	be	be	NOUN
ejpam-5030	99	7	-	-	PUNCT
ejpam-5030	99	8	algebra	algebra	NOUN
ejpam-5030	99	9	.	.	PUNCT
ejpam-5030	100	1	an	an	DET
ejpam-5030	100	2	ifs	ifs	PROPN
ejpam-5030	100	3	a	a	PRON
ejpam-5030	100	4	in	in	ADP
ejpam-5030	100	5	m	m	PROPN
ejpam-5030	100	6	is	be	AUX
ejpam-5030	100	7	an	an	DET
ejpam-5030	100	8	intuitionistic	intuitionistic	ADJ
ejpam-5030	100	9	fuzzy	fuzzy	ADJ
ejpam-5030	100	10	ideal	ideal	NOUN
ejpam-5030	100	11	of	of	ADP
ejpam-5030	100	12	m	m	PRON
ejpam-5030	100	13	if	if	SCONJ
ejpam-5030	100	14	and	and	CCONJ
ejpam-5030	100	15	only	only	ADV
ejpam-5030	100	16	if	if	SCONJ
ejpam-5030	100	17	it	it	PRON
ejpam-5030	100	18	satisfies	satisfy	VERB
ejpam-5030	100	19	conditions	condition	NOUN
ejpam-5030	100	20	(	(	PUNCT
ejpam-5030	100	21	18	18	NUM
ejpam-5030	100	22	)	)	PUNCT
ejpam-5030	100	23	and	and	CCONJ
ejpam-5030	100	24	(	(	PUNCT
ejpam-5030	100	25	21	21	NUM
ejpam-5030	100	26	)	)	PUNCT
ejpam-5030	100	27	.	.	PUNCT
ejpam-5030	101	1	proof	proof	NOUN
ejpam-5030	101	2	.	.	PUNCT
ejpam-5030	102	1	assume	assume	VERB
ejpam-5030	102	2	that	that	SCONJ
ejpam-5030	102	3	a	a	PRON
ejpam-5030	102	4	is	be	AUX
ejpam-5030	102	5	an	an	DET
ejpam-5030	102	6	intuitionistic	intuitionistic	ADJ
ejpam-5030	102	7	fuzzy	fuzzy	ADJ
ejpam-5030	102	8	ideal	ideal	NOUN
ejpam-5030	102	9	of	of	ADP
ejpam-5030	102	10	m.	m.	NOUN
ejpam-5030	102	11	by	by	ADP
ejpam-5030	102	12	lemma	lemma	PROPN
ejpam-5030	102	13	1	1	NUM
ejpam-5030	102	14	,	,	PUNCT
ejpam-5030	102	15	a	a	DET
ejpam-5030	102	16	satisfies	satisfie	NOUN
ejpam-5030	102	17	(	(	PUNCT
ejpam-5030	102	18	18	18	NUM
ejpam-5030	102	19	)	)	PUNCT
ejpam-5030	102	20	.	.	PUNCT
ejpam-5030	103	1	since	since	SCONJ
ejpam-5030	103	2	m	m	PROPN
ejpam-5030	103	3	is	be	AUX
ejpam-5030	103	4	transitive	transitive	ADJ
ejpam-5030	103	5	,	,	PUNCT
ejpam-5030	103	6	we	we	PRON
ejpam-5030	103	7	have	have	VERB
ejpam-5030	103	8	(	(	PUNCT
ejpam-5030	103	9	m1	m1	PROPN
ejpam-5030	103	10	∗m2	∗m2	PROPN
ejpam-5030	103	11	)	)	PUNCT
ejpam-5030	103	12	∗m2	∗m2	PROPN
ejpam-5030	103	13	≤	≤	NOUN
ejpam-5030	103	14	(	(	PUNCT
ejpam-5030	103	15	m0	m0	PROPN
ejpam-5030	103	16	∗	∗	NOUN
ejpam-5030	103	17	(	(	PUNCT
ejpam-5030	103	18	m1	m1	PROPN
ejpam-5030	103	19	∗m2	∗m2	PROPN
ejpam-5030	103	20	)	)	PUNCT
ejpam-5030	103	21	)	)	PUNCT
ejpam-5030	104	1	∗	∗	NOUN
ejpam-5030	104	2	(	(	PUNCT
ejpam-5030	104	3	m0	m0	PROPN
ejpam-5030	104	4	∗m2	∗m2	PROPN
ejpam-5030	104	5	)	)	PUNCT
ejpam-5030	104	6	,	,	PUNCT
ejpam-5030	104	7	(	(	PUNCT
ejpam-5030	104	8	22	22	NUM
ejpam-5030	104	9	)	)	PUNCT
ejpam-5030	104	10	i.e.	i.e.	X
ejpam-5030	104	11	,	,	PUNCT
ejpam-5030	104	12	(	(	PUNCT
ejpam-5030	104	13	(	(	PUNCT
ejpam-5030	104	14	m1	m1	PROPN
ejpam-5030	104	15	∗m2)∗m2)∗	∗m2)∗m2)∗	PROPN
ejpam-5030	104	16	(	(	PUNCT
ejpam-5030	104	17	(	(	PUNCT
ejpam-5030	104	18	m0	m0	PROPN
ejpam-5030	104	19	∗	∗	NOUN
ejpam-5030	104	20	(	(	PUNCT
ejpam-5030	104	21	m1	m1	NOUN
ejpam-5030	104	22	∗m2))∗	∗m2))∗	NOUN
ejpam-5030	104	23	(	(	PUNCT
ejpam-5030	104	24	m0	m0	PROPN
ejpam-5030	104	25	∗m2	∗m2	PROPN
ejpam-5030	104	26	)	)	PUNCT
ejpam-5030	104	27	)	)	PUNCT
ejpam-5030	105	1	=	=	SYM
ejpam-5030	105	2	1	1	NUM
ejpam-5030	105	3	for	for	ADP
ejpam-5030	105	4	all	all	DET
ejpam-5030	105	5	m0,m1,m2	m0,m1,m2	NOUN
ejpam-5030	105	6	∈	∈	PROPN
ejpam-5030	105	7	m.	m.	NOUN
ejpam-5030	105	8	it	it	PRON
ejpam-5030	105	9	follows	follow	VERB
ejpam-5030	105	10	from	from	ADP
ejpam-5030	105	11	(	(	PUNCT
ejpam-5030	105	12	3	3	NUM
ejpam-5030	105	13	)	)	PUNCT
ejpam-5030	105	14	,	,	PUNCT
ejpam-5030	105	15	(	(	PUNCT
ejpam-5030	105	16	17	17	NUM
ejpam-5030	105	17	)	)	PUNCT
ejpam-5030	105	18	and	and	CCONJ
ejpam-5030	105	19	proposition	proposition	NOUN
ejpam-5030	105	20	1	1	NUM
ejpam-5030	105	21	that	that	SCONJ
ejpam-5030	105	22	µ(m0	µ(m0	NOUN
ejpam-5030	105	23	∗m2	∗m2	PROPN
ejpam-5030	105	24	)	)	PUNCT
ejpam-5030	105	25	=	=	SYM
ejpam-5030	105	26	µ(1	µ(1	PROPN
ejpam-5030	105	27	∗	∗	NOUN
ejpam-5030	105	28	(	(	PUNCT
ejpam-5030	105	29	m0	m0	PROPN
ejpam-5030	105	30	∗m2	∗m2	PROPN
ejpam-5030	105	31	)	)	PUNCT
ejpam-5030	105	32	)	)	PUNCT
ejpam-5030	106	1	=	=	PUNCT
ejpam-5030	106	2	µ((((ym1	µ((((ym1	PROPN
ejpam-5030	106	3	∗m2	∗m2	PROPN
ejpam-5030	106	4	)	)	PUNCT
ejpam-5030	106	5	∗m2	∗m2	PROPN
ejpam-5030	106	6	)	)	PUNCT
ejpam-5030	106	7	∗	∗	NOUN
ejpam-5030	106	8	(	(	PUNCT
ejpam-5030	106	9	(	(	PUNCT
ejpam-5030	106	10	m0	m0	PROPN
ejpam-5030	106	11	∗	∗	NOUN
ejpam-5030	106	12	(	(	PUNCT
ejpam-5030	106	13	m1	m1	PROPN
ejpam-5030	106	14	∗m2	∗m2	PROPN
ejpam-5030	106	15	)	)	PUNCT
ejpam-5030	106	16	)	)	PUNCT
ejpam-5030	107	1	∗	∗	NOUN
ejpam-5030	107	2	(	(	PUNCT
ejpam-5030	107	3	m0	m0	PROPN
ejpam-5030	107	4	∗m2	∗m2	PROPN
ejpam-5030	107	5	)	)	PUNCT
ejpam-5030	107	6	)	)	PUNCT
ejpam-5030	107	7	)	)	PUNCT
ejpam-5030	108	1	∗	∗	NOUN
ejpam-5030	108	2	(	(	PUNCT
ejpam-5030	108	3	m0	m0	PROPN
ejpam-5030	108	4	∗m2	∗m2	PROPN
ejpam-5030	108	5	)	)	PUNCT
ejpam-5030	108	6	)	)	PUNCT
ejpam-5030	108	7	≥	≥	PROPN
ejpam-5030	108	8	min{µ((m1	min{µ((m1	PROPN
ejpam-5030	108	9	∗m2	∗m2	PROPN
ejpam-5030	108	10	)	)	PUNCT
ejpam-5030	108	11	∗m2	∗m2	PROPN
ejpam-5030	108	12	)	)	PUNCT
ejpam-5030	108	13	,	,	PUNCT
ejpam-5030	108	14	µ(m0	µ(m0	NOUN
ejpam-5030	108	15	∗	∗	NOUN
ejpam-5030	108	16	(	(	PUNCT
ejpam-5030	108	17	m1	m1	PROPN
ejpam-5030	108	18	∗m2	∗m2	PROPN
ejpam-5030	108	19	)	)	PUNCT
ejpam-5030	108	20	)	)	PUNCT
ejpam-5030	108	21	}	}	PUNCT
ejpam-5030	108	22	≥	≥	NOUN
ejpam-5030	108	23	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	108	24	∗	∗	NOUN
ejpam-5030	108	25	(	(	PUNCT
ejpam-5030	108	26	m1	m1	PROPN
ejpam-5030	108	27	∗m2	∗m2	PROPN
ejpam-5030	108	28	)	)	PUNCT
ejpam-5030	108	29	)	)	PUNCT
ejpam-5030	108	30	,	,	PUNCT
ejpam-5030	108	31	µ(m1	µ(m1	NOUN
ejpam-5030	108	32	)	)	PUNCT
ejpam-5030	108	33	}	}	PUNCT
ejpam-5030	108	34	and	and	CCONJ
ejpam-5030	108	35	γa(m0	γa(m0	ADP
ejpam-5030	108	36	∗m2	∗m2	PROPN
ejpam-5030	108	37	)	)	PUNCT
ejpam-5030	108	38	=	=	PUNCT
ejpam-5030	109	1	γa(1	γa(1	NOUN
ejpam-5030	109	2	∗	∗	NOUN
ejpam-5030	109	3	(	(	PUNCT
ejpam-5030	109	4	m0	m0	PROPN
ejpam-5030	109	5	∗m2	∗m2	PROPN
ejpam-5030	109	6	)	)	PUNCT
ejpam-5030	109	7	)	)	PUNCT
ejpam-5030	110	1	=	=	PUNCT
ejpam-5030	110	2	γa((((m1	γa((((m1	NUM
ejpam-5030	110	3	∗m2	∗m2	PROPN
ejpam-5030	110	4	)	)	PUNCT
ejpam-5030	110	5	∗m2	∗m2	PROPN
ejpam-5030	110	6	)	)	PUNCT
ejpam-5030	110	7	∗	∗	NOUN
ejpam-5030	110	8	(	(	PUNCT
ejpam-5030	110	9	(	(	PUNCT
ejpam-5030	110	10	m0	m0	PROPN
ejpam-5030	110	11	∗	∗	NOUN
ejpam-5030	110	12	(	(	PUNCT
ejpam-5030	110	13	m1	m1	PROPN
ejpam-5030	110	14	∗m2	∗m2	PROPN
ejpam-5030	110	15	)	)	PUNCT
ejpam-5030	110	16	)	)	PUNCT
ejpam-5030	111	1	∗	∗	NOUN
ejpam-5030	111	2	(	(	PUNCT
ejpam-5030	111	3	m0	m0	PROPN
ejpam-5030	111	4	∗m2	∗m2	PROPN
ejpam-5030	111	5	)	)	PUNCT
ejpam-5030	111	6	)	)	PUNCT
ejpam-5030	111	7	)	)	PUNCT
ejpam-5030	112	1	∗	∗	NOUN
ejpam-5030	112	2	(	(	PUNCT
ejpam-5030	112	3	m0	m0	PROPN
ejpam-5030	112	4	∗m2	∗m2	PROPN
ejpam-5030	112	5	)	)	PUNCT
ejpam-5030	112	6	)	)	PUNCT
ejpam-5030	113	1	≤	≤	NUM
ejpam-5030	113	2	max{γa((m1	max{γa((m1	PROPN
ejpam-5030	113	3	∗m2	∗m2	PROPN
ejpam-5030	113	4	)	)	PUNCT
ejpam-5030	113	5	∗m2	∗m2	PROPN
ejpam-5030	113	6	)	)	PUNCT
ejpam-5030	113	7	,	,	PUNCT
ejpam-5030	113	8	γa(m0	γa(m0	PUNCT
ejpam-5030	114	1	∗	∗	NOUN
ejpam-5030	114	2	(	(	PUNCT
ejpam-5030	114	3	m1	m1	PROPN
ejpam-5030	114	4	∗m2	∗m2	PROPN
ejpam-5030	114	5	)	)	PUNCT
ejpam-5030	114	6	)	)	PUNCT
ejpam-5030	114	7	}	}	PUNCT
ejpam-5030	114	8	≤	≤	NUM
ejpam-5030	114	9	max{γa(m0	max{γa(m0	NOUN
ejpam-5030	114	10	∗	∗	NOUN
ejpam-5030	114	11	(	(	PUNCT
ejpam-5030	114	12	m1	m1	PROPN
ejpam-5030	114	13	∗m2	∗m2	PROPN
ejpam-5030	114	14	)	)	PUNCT
ejpam-5030	114	15	)	)	PUNCT
ejpam-5030	114	16	,	,	PUNCT
ejpam-5030	114	17	γa(m1	γa(m1	NOUN
ejpam-5030	114	18	)	)	PUNCT
ejpam-5030	114	19	}	}	PUNCT
ejpam-5030	114	20	.	.	PUNCT
ejpam-5030	115	1	hence	hence	ADV
ejpam-5030	115	2	a	a	DET
ejpam-5030	115	3	satisfies	satisfie	NOUN
ejpam-5030	115	4	(	(	PUNCT
ejpam-5030	115	5	21	21	NUM
ejpam-5030	115	6	)	)	PUNCT
ejpam-5030	115	7	.	.	PUNCT
ejpam-5030	116	1	conversely	conversely	ADV
ejpam-5030	116	2	suppose	suppose	VERB
ejpam-5030	116	3	that	that	SCONJ
ejpam-5030	116	4	a	a	DET
ejpam-5030	116	5	satisfies	satisfie	NOUN
ejpam-5030	116	6	two	two	NUM
ejpam-5030	116	7	conditions	condition	NOUN
ejpam-5030	116	8	(	(	PUNCT
ejpam-5030	116	9	18	18	NUM
ejpam-5030	116	10	)	)	PUNCT
ejpam-5030	116	11	and	and	CCONJ
ejpam-5030	116	12	(	(	PUNCT
ejpam-5030	116	13	21	21	NUM
ejpam-5030	116	14	)	)	PUNCT
ejpam-5030	116	15	.	.	PUNCT
ejpam-5030	117	1	using	use	VERB
ejpam-5030	117	2	(	(	PUNCT
ejpam-5030	117	3	21	21	NUM
ejpam-5030	117	4	)	)	PUNCT
ejpam-5030	117	5	,	,	PUNCT
ejpam-5030	117	6	(	(	PUNCT
ejpam-5030	117	7	1	1	NUM
ejpam-5030	117	8	)	)	PUNCT
ejpam-5030	117	9	,	,	PUNCT
ejpam-5030	117	10	(	(	PUNCT
ejpam-5030	117	11	2	2	X
ejpam-5030	117	12	)	)	PUNCT
ejpam-5030	117	13	and	and	CCONJ
ejpam-5030	117	14	(	(	PUNCT
ejpam-5030	117	15	18	18	NUM
ejpam-5030	117	16	)	)	PUNCT
ejpam-5030	117	17	,	,	PUNCT
ejpam-5030	117	18	we	we	PRON
ejpam-5030	117	19	have	have	VERB
ejpam-5030	117	20	µ(m0	µ(m0	NOUN
ejpam-5030	117	21	∗m1	∗m1	X
ejpam-5030	117	22	)	)	PUNCT
ejpam-5030	117	23	≥	≥	NOUN
ejpam-5030	117	24	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	117	25	∗	∗	NOUN
ejpam-5030	117	26	(	(	PUNCT
ejpam-5030	117	27	m1	m1	PROPN
ejpam-5030	117	28	∗m1	∗m1	PROPN
ejpam-5030	117	29	)	)	PUNCT
ejpam-5030	117	30	)	)	PUNCT
ejpam-5030	117	31	,	,	PUNCT
ejpam-5030	117	32	µ(m1	µ(m1	NOUN
ejpam-5030	117	33	)	)	PUNCT
ejpam-5030	117	34	}	}	PUNCT
ejpam-5030	117	35	=	=	SYM
ejpam-5030	117	36	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	117	37	∗	∗	NOUN
ejpam-5030	117	38	1	1	NUM
ejpam-5030	117	39	)	)	PUNCT
ejpam-5030	117	40	,	,	PUNCT
ejpam-5030	117	41	µ(m1	µ(m1	NOUN
ejpam-5030	117	42	)	)	PUNCT
ejpam-5030	117	43	}	}	PUNCT
ejpam-5030	117	44	=	=	SYM
ejpam-5030	117	45	min{µ(1	min{µ(1	NOUN
ejpam-5030	117	46	)	)	PUNCT
ejpam-5030	117	47	,	,	PUNCT
ejpam-5030	117	48	µ(m1	µ(m1	NOUN
ejpam-5030	117	49	)	)	PUNCT
ejpam-5030	117	50	}	}	PUNCT
ejpam-5030	117	51	=	=	SYM
ejpam-5030	117	52	µ(m1	µ(m1	NOUN
ejpam-5030	117	53	)	)	PUNCT
ejpam-5030	117	54	,	,	PUNCT
ejpam-5030	117	55	(	(	PUNCT
ejpam-5030	117	56	23	23	NUM
ejpam-5030	117	57	)	)	PUNCT
ejpam-5030	117	58	γa(m0	γa(m0	NOUN
ejpam-5030	117	59	∗m1	∗m1	X
ejpam-5030	117	60	)	)	PUNCT
ejpam-5030	117	61	≤	≤	NUM
ejpam-5030	117	62	max{γa(m0	max{γa(m0	NOUN
ejpam-5030	117	63	∗	∗	NOUN
ejpam-5030	117	64	(	(	PUNCT
ejpam-5030	117	65	m1	m1	PROPN
ejpam-5030	117	66	∗m1	∗m1	PROPN
ejpam-5030	117	67	)	)	PUNCT
ejpam-5030	117	68	)	)	PUNCT
ejpam-5030	117	69	,	,	PUNCT
ejpam-5030	117	70	γa(m1	γa(m1	NOUN
ejpam-5030	117	71	)	)	PUNCT
ejpam-5030	117	72	}	}	PUNCT
ejpam-5030	117	73	=	=	PUNCT
ejpam-5030	117	74	max{γa(m0	max{γa(m0	NOUN
ejpam-5030	117	75	∗	∗	NOUN
ejpam-5030	117	76	1	1	NUM
ejpam-5030	117	77	)	)	PUNCT
ejpam-5030	117	78	,	,	PUNCT
ejpam-5030	117	79	γa(m1	γa(m1	NOUN
ejpam-5030	117	80	)	)	PUNCT
ejpam-5030	117	81	}	}	PUNCT
ejpam-5030	117	82	=	=	SYM
ejpam-5030	117	83	max{γa(1	max{γa(1	PROPN
ejpam-5030	117	84	)	)	PUNCT
ejpam-5030	117	85	,	,	PUNCT
ejpam-5030	117	86	γa(m1	γa(m1	NOUN
ejpam-5030	117	87	)	)	PUNCT
ejpam-5030	117	88	}	}	PUNCT
ejpam-5030	117	89	=	=	SYM
ejpam-5030	117	90	γa(m1	γa(m1	NOUN
ejpam-5030	117	91	)	)	PUNCT
ejpam-5030	117	92	,	,	PUNCT
ejpam-5030	117	93	(	(	PUNCT
ejpam-5030	117	94	24	24	NUM
ejpam-5030	117	95	)	)	PUNCT
ejpam-5030	117	96	µ((m0	µ((m0	NOUN
ejpam-5030	117	97	∗m1	∗m1	NOUN
ejpam-5030	117	98	)	)	PUNCT
ejpam-5030	117	99	∗m1	∗m1	X
ejpam-5030	117	100	)	)	PUNCT
ejpam-5030	117	101	≥	≥	NOUN
ejpam-5030	117	102	min{µ((m0	min{µ((m0	PROPN
ejpam-5030	117	103	∗m1	∗m1	PROPN
ejpam-5030	117	104	)	)	PUNCT
ejpam-5030	117	105	∗	∗	NOUN
ejpam-5030	117	106	(	(	PUNCT
ejpam-5030	117	107	m0	m0	PROPN
ejpam-5030	117	108	∗m1	∗m1	PROPN
ejpam-5030	117	109	)	)	PUNCT
ejpam-5030	117	110	)	)	PUNCT
ejpam-5030	117	111	,	,	PUNCT
ejpam-5030	117	112	µ(m0	µ(m0	NOUN
ejpam-5030	117	113	)	)	PUNCT
ejpam-5030	117	114	}	}	PUNCT
ejpam-5030	117	115	=	=	SYM
ejpam-5030	117	116	min{µ(1	min{µ(1	NOUN
ejpam-5030	117	117	)	)	PUNCT
ejpam-5030	117	118	,	,	PUNCT
ejpam-5030	117	119	µ(m0	µ(m0	NOUN
ejpam-5030	117	120	)	)	PUNCT
ejpam-5030	117	121	}	}	PUNCT
ejpam-5030	117	122	=	=	SYM
ejpam-5030	117	123	µ(m0	µ(m0	NOUN
ejpam-5030	117	124	)	)	PUNCT
ejpam-5030	117	125	,	,	PUNCT
ejpam-5030	117	126	(	(	PUNCT
ejpam-5030	117	127	25	25	NUM
ejpam-5030	117	128	)	)	PUNCT
ejpam-5030	117	129	γa((m0	γa((m0	NOUN
ejpam-5030	117	130	∗m1	∗m1	X
ejpam-5030	117	131	)	)	PUNCT
ejpam-5030	117	132	∗m1	∗m1	X
ejpam-5030	117	133	)	)	PUNCT
ejpam-5030	117	134	≤	≤	NOUN
ejpam-5030	117	135	max{γa((m0	max{γa((m0	NUM
ejpam-5030	117	136	∗m1	∗m1	NOUN
ejpam-5030	117	137	)	)	PUNCT
ejpam-5030	117	138	∗	∗	NOUN
ejpam-5030	117	139	(	(	PUNCT
ejpam-5030	117	140	m0	m0	PROPN
ejpam-5030	117	141	∗m1	∗m1	PROPN
ejpam-5030	117	142	)	)	PUNCT
ejpam-5030	117	143	)	)	PUNCT
ejpam-5030	117	144	,	,	PUNCT
ejpam-5030	117	145	γa(m0	γa(m0	NOUN
ejpam-5030	117	146	)	)	PUNCT
ejpam-5030	117	147	}	}	PUNCT
ejpam-5030	117	148	=	=	SYM
ejpam-5030	117	149	max{γa(1	max{γa(1	PROPN
ejpam-5030	117	150	)	)	PUNCT
ejpam-5030	117	151	,	,	PUNCT
ejpam-5030	117	152	γa(m0	γa(m0	NOUN
ejpam-5030	117	153	)	)	PUNCT
ejpam-5030	117	154	}	}	PUNCT
ejpam-5030	117	155	=	=	SYM
ejpam-5030	117	156	γa(m0	γa(m0	NOUN
ejpam-5030	117	157	)	)	PUNCT
ejpam-5030	117	158	(	(	PUNCT
ejpam-5030	117	159	26	26	NUM
ejpam-5030	117	160	)	)	PUNCT
ejpam-5030	117	161	for	for	ADP
ejpam-5030	117	162	all	all	DET
ejpam-5030	117	163	m0,m1	m0,m1	PROPN
ejpam-5030	117	164	∈	∈	PROPN
ejpam-5030	117	165	m.	m.	NOUN
ejpam-5030	117	166	since	since	SCONJ
ejpam-5030	117	167	a	a	PRON
ejpam-5030	117	168	is	be	AUX
ejpam-5030	117	169	intuitionistic	intuitionistic	ADJ
ejpam-5030	117	170	order	order	NOUN
ejpam-5030	117	171	preserving	preserve	VERB
ejpam-5030	117	172	by	by	ADP
ejpam-5030	117	173	proposition	proposition	NOUN
ejpam-5030	117	174	2	2	NUM
ejpam-5030	117	175	,	,	PUNCT
ejpam-5030	117	176	it	it	PRON
ejpam-5030	117	177	follows	follow	VERB
ejpam-5030	117	178	from	from	ADP
ejpam-5030	117	179	(	(	PUNCT
ejpam-5030	117	180	22	22	NUM
ejpam-5030	117	181	)	)	PUNCT
ejpam-5030	117	182	that	that	PRON
ejpam-5030	117	183	µ((m1	µ((m1	VERB
ejpam-5030	117	184	∗m2	∗m2	PROPN
ejpam-5030	117	185	)	)	PUNCT
ejpam-5030	117	186	∗m2	∗m2	NOUN
ejpam-5030	117	187	)	)	PUNCT
ejpam-5030	117	188	≤	≤	NOUN
ejpam-5030	117	189	µ((m0	µ((m0	NOUN
ejpam-5030	117	190	∗	∗	NOUN
ejpam-5030	118	1	(	(	PUNCT
ejpam-5030	118	2	m1	m1	PROPN
ejpam-5030	118	3	∗m2	∗m2	PROPN
ejpam-5030	118	4	)	)	PUNCT
ejpam-5030	118	5	)	)	PUNCT
ejpam-5030	119	1	∗	∗	NOUN
ejpam-5030	119	2	(	(	PUNCT
ejpam-5030	119	3	m0	m0	PROPN
ejpam-5030	119	4	∗m2	∗m2	PROPN
ejpam-5030	119	5	)	)	PUNCT
ejpam-5030	119	6	)	)	PUNCT
ejpam-5030	120	1	and	and	CCONJ
ejpam-5030	120	2	γa((m1	γa((m1	NOUN
ejpam-5030	120	3	∗m2	∗m2	PROPN
ejpam-5030	120	4	)	)	PUNCT
ejpam-5030	120	5	∗m2	∗m2	PROPN
ejpam-5030	120	6	)	)	PUNCT
ejpam-5030	120	7	≥	≥	NOUN
ejpam-5030	120	8	γa((m0	γa((m0	NOUN
ejpam-5030	121	1	∗	∗	NOUN
ejpam-5030	121	2	(	(	PUNCT
ejpam-5030	121	3	m1	m1	PROPN
ejpam-5030	121	4	∗m2	∗m2	PROPN
ejpam-5030	121	5	)	)	PUNCT
ejpam-5030	121	6	)	)	PUNCT
ejpam-5030	122	1	∗	∗	NOUN
ejpam-5030	122	2	(	(	PUNCT
ejpam-5030	122	3	m0	m0	PROPN
ejpam-5030	122	4	∗m2	∗m2	PROPN
ejpam-5030	122	5	)	)	PUNCT
ejpam-5030	122	6	)	)	PUNCT
ejpam-5030	122	7	references	reference	VERB
ejpam-5030	122	8	432	432	NUM
ejpam-5030	122	9	so	so	ADV
ejpam-5030	122	10	from	from	ADP
ejpam-5030	122	11	(	(	PUNCT
ejpam-5030	122	12	21	21	NUM
ejpam-5030	122	13	)	)	PUNCT
ejpam-5030	122	14	,	,	PUNCT
ejpam-5030	122	15	(	(	PUNCT
ejpam-5030	122	16	25	25	NUM
ejpam-5030	122	17	)	)	PUNCT
ejpam-5030	122	18	and	and	CCONJ
ejpam-5030	122	19	(	(	PUNCT
ejpam-5030	122	20	26	26	NUM
ejpam-5030	122	21	)	)	PUNCT
ejpam-5030	122	22	that	that	PRON
ejpam-5030	122	23	µ((m0	µ((m0	NOUN
ejpam-5030	122	24	∗	∗	NOUN
ejpam-5030	122	25	(	(	PUNCT
ejpam-5030	122	26	m1	m1	PROPN
ejpam-5030	122	27	∗m2	∗m2	PROPN
ejpam-5030	122	28	)	)	PUNCT
ejpam-5030	122	29	)	)	PUNCT
ejpam-5030	122	30	∗m2	∗m2	PROPN
ejpam-5030	122	31	)	)	PUNCT
ejpam-5030	122	32	≥	≥	NOUN
ejpam-5030	122	33	min{µ(((m0	min{µ(((m0	PROPN
ejpam-5030	122	34	∗	∗	NOUN
ejpam-5030	122	35	(	(	PUNCT
ejpam-5030	122	36	m1	m1	PROPN
ejpam-5030	122	37	∗m2	∗m2	PROPN
ejpam-5030	122	38	)	)	PUNCT
ejpam-5030	122	39	)	)	PUNCT
ejpam-5030	123	1	∗	∗	NOUN
ejpam-5030	123	2	(	(	PUNCT
ejpam-5030	123	3	m0	m0	PROPN
ejpam-5030	123	4	∗m2	∗m2	PROPN
ejpam-5030	123	5	)	)	PUNCT
ejpam-5030	123	6	)	)	PUNCT
ejpam-5030	123	7	,	,	PUNCT
ejpam-5030	123	8	µ(m0	µ(m0	NOUN
ejpam-5030	123	9	)	)	PUNCT
ejpam-5030	123	10	}	}	PUNCT
ejpam-5030	123	11	≥	≥	NUM
ejpam-5030	123	12	min{µ((m1	min{µ((m1	PROPN
ejpam-5030	123	13	∗m2	∗m2	PROPN
ejpam-5030	123	14	)	)	PUNCT
ejpam-5030	123	15	∗m2	∗m2	PROPN
ejpam-5030	123	16	)	)	PUNCT
ejpam-5030	123	17	,	,	PUNCT
ejpam-5030	123	18	µ(m0	µ(m0	NOUN
ejpam-5030	123	19	)	)	PUNCT
ejpam-5030	123	20	}	}	PUNCT
ejpam-5030	123	21	≥	≥	NOUN
ejpam-5030	123	22	min{µ(m0	min{µ(m0	NOUN
ejpam-5030	123	23	)	)	PUNCT
ejpam-5030	123	24	,	,	PUNCT
ejpam-5030	123	25	µ(m1	µ(m1	NOUN
ejpam-5030	123	26	)	)	PUNCT
ejpam-5030	123	27	}	}	PUNCT
ejpam-5030	123	28	and	and	CCONJ
ejpam-5030	123	29	γa((m0	γa((m0	NOUN
ejpam-5030	123	30	∗	∗	NOUN
ejpam-5030	123	31	(	(	PUNCT
ejpam-5030	123	32	m1	m1	PROPN
ejpam-5030	123	33	∗m2	∗m2	PROPN
ejpam-5030	123	34	)	)	PUNCT
ejpam-5030	123	35	)	)	PUNCT
ejpam-5030	123	36	∗m2	∗m2	NOUN
ejpam-5030	123	37	)	)	PUNCT
ejpam-5030	123	38	≤	≤	PUNCT
ejpam-5030	124	1	max{γa(((m0	max{γa(((m0	NOUN
ejpam-5030	124	2	∗	∗	NOUN
ejpam-5030	124	3	(	(	PUNCT
ejpam-5030	124	4	m1	m1	PROPN
ejpam-5030	124	5	∗m2	∗m2	PROPN
ejpam-5030	124	6	)	)	PUNCT
ejpam-5030	124	7	)	)	PUNCT
ejpam-5030	124	8	∗	∗	NOUN
ejpam-5030	124	9	(	(	PUNCT
ejpam-5030	124	10	m0	m0	PROPN
ejpam-5030	124	11	∗m2	∗m2	PROPN
ejpam-5030	124	12	)	)	PUNCT
ejpam-5030	124	13	)	)	PUNCT
ejpam-5030	124	14	,	,	PUNCT
ejpam-5030	124	15	γa(m0	γa(m0	NOUN
ejpam-5030	124	16	)	)	PUNCT
ejpam-5030	124	17	}	}	PUNCT
ejpam-5030	124	18	≤	≤	NUM
ejpam-5030	124	19	max{γa((m1	max{γa((m1	NOUN
ejpam-5030	124	20	∗m2	∗m2	PROPN
ejpam-5030	124	21	)	)	PUNCT
ejpam-5030	124	22	∗m2	∗m2	PROPN
ejpam-5030	124	23	)	)	PUNCT
ejpam-5030	124	24	,	,	PUNCT
ejpam-5030	124	25	γa(m0	γa(m0	NOUN
ejpam-5030	124	26	)	)	PUNCT
ejpam-5030	124	27	}	}	PUNCT
ejpam-5030	124	28	≤	≤	NUM
ejpam-5030	124	29	max{γa(m0	max{γa(m0	NOUN
ejpam-5030	124	30	)	)	PUNCT
ejpam-5030	124	31	,	,	PUNCT
ejpam-5030	124	32	γa(m1	γa(m1	NOUN
ejpam-5030	124	33	)	)	PUNCT
ejpam-5030	124	34	}	}	PUNCT
ejpam-5030	124	35	for	for	ADP
ejpam-5030	124	36	all	all	DET
ejpam-5030	124	37	m0,m1,m2	m0,m1,m2	NOUN
ejpam-5030	124	38	∈	∈	PROPN
ejpam-5030	124	39	m.	m.	NOUN
ejpam-5030	124	40	hence	hence	ADV
ejpam-5030	124	41	a	a	PRON
ejpam-5030	124	42	is	be	AUX
ejpam-5030	124	43	an	an	DET
ejpam-5030	124	44	intuitionistic	intuitionistic	ADJ
ejpam-5030	124	45	fuzzy	fuzzy	ADJ
ejpam-5030	124	46	ideal	ideal	NOUN
ejpam-5030	124	47	of	of	ADP
ejpam-5030	124	48	m.	m.	NOUN
ejpam-5030	124	49	acknowledgements	acknowledgement	NOUN
ejpam-5030	124	50	the	the	DET
ejpam-5030	124	51	author	author	NOUN
ejpam-5030	124	52	would	would	AUX
ejpam-5030	124	53	like	like	VERB
ejpam-5030	124	54	to	to	PART
ejpam-5030	124	55	express	express	VERB
ejpam-5030	124	56	their	their	PRON
ejpam-5030	124	57	sincere	sincere	ADJ
ejpam-5030	124	58	thanks	thank	NOUN
ejpam-5030	124	59	to	to	ADP
ejpam-5030	124	60	the	the	DET
ejpam-5030	124	61	learned	learn	VERB
ejpam-5030	124	62	reviewers	reviewer	NOUN
ejpam-5030	124	63	for	for	ADP
ejpam-5030	124	64	valuable	valuable	ADJ
ejpam-5030	124	65	comments	comment	NOUN
ejpam-5030	124	66	and	and	CCONJ
ejpam-5030	124	67	several	several	ADJ
ejpam-5030	124	68	useful	useful	ADJ
ejpam-5030	124	69	suggestions	suggestion	NOUN
ejpam-5030	124	70	.	.	PUNCT
ejpam-5030	125	1	references	reference	NOUN
ejpam-5030	125	2	[	[	X
ejpam-5030	125	3	1	1	X
ejpam-5030	125	4	]	]	PUNCT
ejpam-5030	125	5	s.	s.	PROPN
ejpam-5030	125	6	s.	s.	PROPN
ejpam-5030	125	7	ahn	ahn	PROPN
ejpam-5030	125	8	and	and	CCONJ
ejpam-5030	125	9	k.	k.	PROPN
ejpam-5030	125	10	s.	s.	PROPN
ejpam-5030	126	1	so	so	ADV
ejpam-5030	126	2	.	.	PUNCT
ejpam-5030	127	1	on	on	ADP
ejpam-5030	127	2	ideals	ideal	NOUN
ejpam-5030	127	3	and	and	CCONJ
ejpam-5030	127	4	upper	upper	ADJ
ejpam-5030	127	5	sets	set	NOUN
ejpam-5030	127	6	in	in	ADP
ejpam-5030	127	7	be	be	NOUN
ejpam-5030	127	8	-	-	PUNCT
ejpam-5030	127	9	algebras	algebra	NOUN
ejpam-5030	127	10	.	.	PUNCT
ejpam-5030	128	1	sci	sci	PROPN
ejpam-5030	128	2	.	.	PROPN
ejpam-5030	128	3	math	math	PROPN
ejpam-5030	128	4	.	.	PUNCT
ejpam-5030	129	1	jpn	jpn	PROPN
ejpam-5030	129	2	.	.	PROPN
ejpam-5030	129	3	,	,	PUNCT
ejpam-5030	129	4	2008:351–357	2008:351–357	PROPN
ejpam-5030	129	5	,	,	PUNCT
ejpam-5030	129	6	e-2008	e-2008	PROPN
ejpam-5030	129	7	.	.	PUNCT
ejpam-5030	130	1	[	[	X
ejpam-5030	130	2	2	2	NUM
ejpam-5030	130	3	]	]	X
ejpam-5030	130	4	s.s	s.s	PROPN
ejpam-5030	130	5	.	.	PROPN
ejpam-5030	130	6	ahn	ahn	PROPN
ejpam-5030	130	7	and	and	CCONJ
ejpam-5030	130	8	k.	k.	PROPN
ejpam-5030	130	9	bang	bang	PROPN
ejpam-5030	130	10	.	.	PUNCT
ejpam-5030	131	1	on	on	ADP
ejpam-5030	131	2	fuzzy	fuzzy	ADJ
ejpam-5030	131	3	subalgebras	subalgebra	NOUN
ejpam-5030	131	4	of	of	ADP
ejpam-5030	131	5	b	b	PROPN
ejpam-5030	131	6	-	-	PUNCT
ejpam-5030	131	7	algebras	algebras	X
ejpam-5030	131	8	.	.	PUNCT
ejpam-5030	131	9	commun	commun	PROPN
ejpam-5030	131	10	.	.	PUNCT
ejpam-5030	132	1	korean	korean	ADJ
ejpam-5030	132	2	math	math	PROPN
ejpam-5030	132	3	.	.	PUNCT
ejpam-5030	133	1	soc	soc	PROPN
ejpam-5030	133	2	.	.	PUNCT
ejpam-5030	133	3	,	,	PUNCT
ejpam-5030	133	4	10(3):351–357	10(3):351–357	PROPN
ejpam-5030	133	5	,	,	PUNCT
ejpam-5030	133	6	2003	2003	NUM
ejpam-5030	133	7	.	.	PUNCT
ejpam-5030	134	1	[	[	X
ejpam-5030	134	2	3	3	X
ejpam-5030	134	3	]	]	X
ejpam-5030	134	4	y.	y.	PROPN
ejpam-5030	134	5	h.	h.	PROPN
ejpam-5030	134	6	kim	kim	PROPN
ejpam-5030	134	7	s.	s.	PROPN
ejpam-5030	134	8	s.	s.	PROPN
ejpam-5030	134	9	ahn	ahn	PROPN
ejpam-5030	134	10	and	and	CCONJ
ejpam-5030	134	11	k.	k.	PROPN
ejpam-5030	134	12	s.	s.	PROPN
ejpam-5030	135	1	so	so	ADV
ejpam-5030	135	2	.	.	PUNCT
ejpam-5030	136	1	fuzzy	fuzzy	ADJ
ejpam-5030	136	2	be	be	AUX
ejpam-5030	136	3	-	-	PUNCT
ejpam-5030	136	4	algebras	algebras	X
ejpam-5030	136	5	.	.	PUNCT
ejpam-5030	137	1	j.	j.	PROPN
ejpam-5030	137	2	appl	appl	PROPN
ejpam-5030	137	3	.	.	PROPN
ejpam-5030	137	4	math	math	PROPN
ejpam-5030	137	5	.	.	PUNCT
ejpam-5030	138	1	informatics	informatic	NOUN
ejpam-5030	138	2	,	,	PUNCT
ejpam-5030	138	3	29:1049–1057	29:1049–1057	PROPN
ejpam-5030	138	4	,	,	PUNCT
ejpam-5030	138	5	2011	2011	NUM
ejpam-5030	138	6	.	.	PUNCT
ejpam-5030	139	1	[	[	X
ejpam-5030	139	2	4	4	X
ejpam-5030	139	3	]	]	PUNCT
ejpam-5030	139	4	a.	a.	PROPN
ejpam-5030	139	5	al	al	PROPN
ejpam-5030	139	6	-	-	PROPN
ejpam-5030	139	7	masarwah	masarwah	PROPN
ejpam-5030	139	8	,	,	PUNCT
ejpam-5030	139	9	a.	a.	NOUN
ejpam-5030	139	10	g.	g.	PROPN
ejpam-5030	139	11	ahmad	ahmad	PROPN
ejpam-5030	139	12	,	,	PUNCT
ejpam-5030	139	13	and	and	CCONJ
ejpam-5030	139	14	g.	g.	PROPN
ejpam-5030	139	15	muhiuddin	muhiuddin	PROPN
ejpam-5030	139	16	.	.	PUNCT
ejpam-5030	140	1	doubt	doubt	PROPN
ejpam-5030	140	2	n	n	CCONJ
ejpam-5030	140	3	-	-	PUNCT
ejpam-5030	140	4	ideals	ideal	NOUN
ejpam-5030	140	5	theory	theory	NOUN
ejpam-5030	140	6	in	in	ADP
ejpam-5030	140	7	bckalgebras	bckalgebra	NOUN
ejpam-5030	140	8	based	base	VERB
ejpam-5030	140	9	on	on	ADP
ejpam-5030	140	10	n	n	CCONJ
ejpam-5030	140	11	-	-	PUNCT
ejpam-5030	140	12	structures	structure	NOUN
ejpam-5030	140	13	.	.	PUNCT
ejpam-5030	141	1	ann	ann	AUX
ejpam-5030	141	2	.	.	PUNCT
ejpam-5030	141	3	commun	commun	PROPN
ejpam-5030	141	4	.	.	PUNCT
ejpam-5030	142	1	math	math	PROPN
ejpam-5030	142	2	.	.	PUNCT
ejpam-5030	142	3	,	,	PUNCT
ejpam-5030	142	4	3(1):54–62	3(1):54–62	NUM
ejpam-5030	142	5	,	,	PUNCT
ejpam-5030	142	6	2020	2020	NUM
ejpam-5030	142	7	.	.	PUNCT
ejpam-5030	143	1	[	[	X
ejpam-5030	143	2	5	5	X
ejpam-5030	143	3	]	]	PUNCT
ejpam-5030	143	4	k.	k.	PROPN
ejpam-5030	143	5	t.	t.	PROPN
ejpam-5030	143	6	atanassov	atanassov	PROPN
ejpam-5030	143	7	.	.	PUNCT
ejpam-5030	144	1	intuitionistic	intuitionistic	ADJ
ejpam-5030	144	2	fuzzy	fuzzy	ADJ
ejpam-5030	144	3	sets	set	NOUN
ejpam-5030	144	4	.	.	PUNCT
ejpam-5030	145	1	fuzzy	fuzzy	ADJ
ejpam-5030	145	2	sets	set	NOUN
ejpam-5030	145	3	and	and	CCONJ
ejpam-5030	145	4	systems	system	NOUN
ejpam-5030	145	5	,	,	PUNCT
ejpam-5030	145	6	20:87–96	20:87–96	NUM
ejpam-5030	145	7	,	,	PUNCT
ejpam-5030	145	8	1986	1986	NUM
ejpam-5030	145	9	.	.	PUNCT
ejpam-5030	146	1	[	[	X
ejpam-5030	146	2	6	6	NUM
ejpam-5030	146	3	]	]	PUNCT
ejpam-5030	146	4	k.	k.	PROPN
ejpam-5030	146	5	t.	t.	PROPN
ejpam-5030	146	6	atanassov	atanassov	PROPN
ejpam-5030	146	7	.	.	PUNCT
ejpam-5030	147	1	new	new	ADJ
ejpam-5030	147	2	operations	operation	NOUN
ejpam-5030	147	3	defined	define	VERB
ejpam-5030	147	4	over	over	ADP
ejpam-5030	147	5	the	the	DET
ejpam-5030	147	6	intuitionistic	intuitionistic	ADJ
ejpam-5030	147	7	fuzzy	fuzzy	ADJ
ejpam-5030	147	8	sets	set	NOUN
ejpam-5030	147	9	.	.	PUNCT
ejpam-5030	148	1	fuzzy	fuzzy	ADJ
ejpam-5030	148	2	sets	set	NOUN
ejpam-5030	148	3	and	and	CCONJ
ejpam-5030	148	4	systems	system	NOUN
ejpam-5030	148	5	,	,	PUNCT
ejpam-5030	148	6	61:137–142	61:137–142	NUM
ejpam-5030	148	7	,	,	PUNCT
ejpam-5030	148	8	1994	1994	NUM
ejpam-5030	148	9	.	.	PUNCT
ejpam-5030	149	1	[	[	X
ejpam-5030	149	2	7	7	X
ejpam-5030	149	3	]	]	PUNCT
ejpam-5030	149	4	k.	k.	PROPN
ejpam-5030	149	5	t.	t.	PROPN
ejpam-5030	149	6	atanassov	atanassov	PROPN
ejpam-5030	149	7	.	.	PUNCT
ejpam-5030	150	1	intuitionistic	intuitionistic	ADJ
ejpam-5030	150	2	fuzzy	fuzzy	ADJ
ejpam-5030	150	3	sets	set	NOUN
ejpam-5030	150	4	.	.	PUNCT
ejpam-5030	151	1	theory	theory	NOUN
ejpam-5030	151	2	and	and	CCONJ
ejpam-5030	151	3	applications	application	NOUN
ejpam-5030	151	4	.	.	PUNCT
ejpam-5030	152	1	1999	1999	NUM
ejpam-5030	152	2	.	.	PUNCT
ejpam-5030	153	1	[	[	X
ejpam-5030	153	2	8	8	NUM
ejpam-5030	153	3	]	]	X
ejpam-5030	153	4	y.	y.	PROPN
ejpam-5030	153	5	b.	b.	PROPN
ejpam-5030	153	6	jun	jun	PROPN
ejpam-5030	153	7	and	and	CCONJ
ejpam-5030	153	8	s.	s.	PROPN
ejpam-5030	153	9	s.	s.	PROPN
ejpam-5030	153	10	ahn	ahn	PROPN
ejpam-5030	153	11	.	.	PROPN
ejpam-5030	153	12	lukasiewicz	lukasiewicz	PROPN
ejpam-5030	153	13	fuzzy	fuzzy	ADJ
ejpam-5030	153	14	be	be	AUX
ejpam-5030	153	15	-	-	PUNCT
ejpam-5030	153	16	algebras	algebra	VERB
ejpam-5030	153	17	and	and	CCONJ
ejpam-5030	153	18	be	be	NOUN
ejpam-5030	153	19	-	-	PUNCT
ejpam-5030	153	20	filters	filter	NOUN
ejpam-5030	153	21	.	.	PUNCT
ejpam-5030	154	1	eur	eur	PROPN
ejpam-5030	154	2	.	.	PUNCT
ejpam-5030	155	1	j.	j.	PROPN
ejpam-5030	155	2	pure	pure	PROPN
ejpam-5030	155	3	appl	appl	PROPN
ejpam-5030	155	4	.	.	PUNCT
ejpam-5030	155	5	math	math	PROPN
ejpam-5030	155	6	.	.	PUNCT
ejpam-5030	155	7	,	,	PUNCT
ejpam-5030	155	8	15(3):924–937	15(3):924–937	NUM
ejpam-5030	155	9	,	,	PUNCT
ejpam-5030	155	10	2022	2022	NUM
ejpam-5030	155	11	.	.	PUNCT
ejpam-5030	156	1	[	[	X
ejpam-5030	156	2	9	9	NUM
ejpam-5030	156	3	]	]	PUNCT
ejpam-5030	156	4	t.	t.	PROPN
ejpam-5030	156	5	katican	katican	PROPN
ejpam-5030	156	6	,	,	PUNCT
ejpam-5030	156	7	t.	t.	PROPN
ejpam-5030	156	8	oner	oner	NOUN
ejpam-5030	156	9	,	,	PUNCT
ejpam-5030	156	10	and	and	CCONJ
ejpam-5030	156	11	a.	a.	PROPN
ejpam-5030	156	12	borumand	borumand	PROPN
ejpam-5030	156	13	saeid	saeid	PROPN
ejpam-5030	156	14	.	.	PUNCT
ejpam-5030	157	1	on	on	ADP
ejpam-5030	157	2	sheffer	sheffer	PROPN
ejpam-5030	157	3	stroke	stroke	NOUN
ejpam-5030	157	4	be	be	AUX
ejpam-5030	157	5	-	-	PUNCT
ejpam-5030	157	6	algebras	algebra	NOUN
ejpam-5030	157	7	.	.	PUNCT
ejpam-5030	158	1	discussiones	discussione	NOUN
ejpam-5030	158	2	mathematicae	mathematicae	VERB
ejpam-5030	158	3	–	–	PUNCT
ejpam-5030	158	4	general	general	ADJ
ejpam-5030	158	5	algebra	algebra	NOUN
ejpam-5030	158	6	and	and	CCONJ
ejpam-5030	158	7	applications	application	NOUN
ejpam-5030	158	8	,	,	PUNCT
ejpam-5030	158	9	42(2):293–314	42(2):293–314	PROPN
ejpam-5030	158	10	,	,	PUNCT
ejpam-5030	158	11	2022	2022	NUM
ejpam-5030	158	12	.	.	PUNCT
ejpam-5030	159	1	[	[	X
ejpam-5030	159	2	10	10	NUM
ejpam-5030	159	3	]	]	PUNCT
ejpam-5030	159	4	h.	h.	PROPN
ejpam-5030	159	5	s.	s.	PROPN
ejpam-5030	159	6	kim	kim	PROPN
ejpam-5030	159	7	and	and	CCONJ
ejpam-5030	159	8	y.	y.	PROPN
ejpam-5030	159	9	h.	h.	PROPN
ejpam-5030	159	10	kim	kim	PROPN
ejpam-5030	159	11	.	.	PUNCT
ejpam-5030	160	1	on	on	ADP
ejpam-5030	160	2	be	be	AUX
ejpam-5030	160	3	-	-	PUNCT
ejpam-5030	160	4	algerbas	algerbas	ADJ
ejpam-5030	160	5	.	.	PUNCT
ejpam-5030	161	1	sci	sci	PROPN
ejpam-5030	161	2	.	.	PUNCT
ejpam-5030	161	3	math	math	PROPN
ejpam-5030	161	4	.	.	PUNCT
ejpam-5030	162	1	jpn	jpn	PROPN
ejpam-5030	162	2	.	.	PROPN
ejpam-5030	162	3	,	,	PUNCT
ejpam-5030	163	1	66(1):113–116	66(1):113–116	PROPN
ejpam-5030	163	2	,	,	PUNCT
ejpam-5030	163	3	2007	2007	NUM
ejpam-5030	163	4	.	.	PUNCT
ejpam-5030	164	1	references	reference	NOUN
ejpam-5030	164	2	433	433	NUM
ejpam-5030	164	3	[	[	X
ejpam-5030	164	4	11	11	NUM
ejpam-5030	164	5	]	]	X
ejpam-5030	164	6	s.z	s.z	PROPN
ejpam-5030	164	7	.	.	PROPN
ejpam-5030	164	8	song	song	PROPN
ejpam-5030	164	9	k.t	k.t	PROPN
ejpam-5030	164	10	.	.	PROPN
ejpam-5030	164	11	kang	kang	PROPN
ejpam-5030	164	12	and	and	CCONJ
ejpam-5030	164	13	y.b	y.b	PROPN
ejpam-5030	164	14	.	.	PROPN
ejpam-5030	164	15	jun	jun	PROPN
ejpam-5030	164	16	.	.	PROPN
ejpam-5030	164	17	multipolar	multipolar	ADJ
ejpam-5030	164	18	intuitionistic	intuitionistic	ADJ
ejpam-5030	164	19	fuzzy	fuzzy	ADJ
ejpam-5030	164	20	set	set	VERB
ejpam-5030	164	21	with	with	ADP
ejpam-5030	164	22	finite	finite	ADJ
ejpam-5030	164	23	degree	degree	NOUN
ejpam-5030	164	24	and	and	CCONJ
ejpam-5030	164	25	its	its	PRON
ejpam-5030	164	26	application	application	NOUN
ejpam-5030	164	27	in	in	ADP
ejpam-5030	164	28	bck	bck	PROPN
ejpam-5030	164	29	/	/	SYM
ejpam-5030	164	30	bci	bci	NOUN
ejpam-5030	164	31	-	-	PUNCT
ejpam-5030	164	32	algebras	algebra	NOUN
ejpam-5030	164	33	.	.	PUNCT
ejpam-5030	165	1	mathematics	mathematic	NOUN
ejpam-5030	165	2	,	,	PUNCT
ejpam-5030	165	3	8:177	8:177	NUM
ejpam-5030	165	4	,	,	PUNCT
ejpam-5030	165	5	2020	2020	NUM
ejpam-5030	165	6	.	.	PUNCT
ejpam-5030	166	1	[	[	X
ejpam-5030	166	2	12	12	NUM
ejpam-5030	166	3	]	]	PUNCT
ejpam-5030	166	4	k.	k.	PROPN
ejpam-5030	166	5	j.	j.	PROPN
ejpam-5030	166	6	lee	lee	PROPN
ejpam-5030	166	7	,	,	PUNCT
ejpam-5030	166	8	y.	y.	PROPN
ejpam-5030	166	9	b.	b.	PROPN
ejpam-5030	166	10	jun	jun	PROPN
ejpam-5030	166	11	,	,	PUNCT
ejpam-5030	166	12	and	and	CCONJ
ejpam-5030	166	13	s.	s.	PROPN
ejpam-5030	166	14	z.	z.	PROPN
ejpam-5030	166	15	song	song	PROPN
ejpam-5030	166	16	.	.	PUNCT
ejpam-5030	167	1	fuzzy	fuzzy	ADJ
ejpam-5030	167	2	ideals	ideal	NOUN
ejpam-5030	167	3	in	in	ADP
ejpam-5030	167	4	be	be	NOUN
ejpam-5030	167	5	-	-	PUNCT
ejpam-5030	167	6	algebra	algebra	NOUN
ejpam-5030	167	7	.	.	PUNCT
ejpam-5030	168	1	bull	bull	NOUN
ejpam-5030	168	2	.	.	PUNCT
ejpam-5030	169	1	malays	malays	PROPN
ejpam-5030	169	2	.	.	PUNCT
ejpam-5030	170	1	math	math	NOUN
ejpam-5030	170	2	.	.	PUNCT
ejpam-5030	171	1	sci	sci	PROPN
ejpam-5030	171	2	.	.	PROPN
ejpam-5030	171	3	soc	soc	PROPN
ejpam-5030	171	4	.	.	PUNCT
ejpam-5030	171	5	,	,	PUNCT
ejpam-5030	171	6	33:147–153	33:147–153	NUM
ejpam-5030	171	7	,	,	PUNCT
ejpam-5030	171	8	2010	2010	NUM
ejpam-5030	171	9	.	.	PUNCT
ejpam-5030	172	1	[	[	X
ejpam-5030	172	2	13	13	NUM
ejpam-5030	172	3	]	]	X
ejpam-5030	172	4	b.	b.	PROPN
ejpam-5030	172	5	davvaz	davvaz	PROPN
ejpam-5030	172	6	m.	m.	PROPN
ejpam-5030	172	7	akram	akram	PROPN
ejpam-5030	172	8	and	and	CCONJ
ejpam-5030	172	9	f.	f.	PROPN
ejpam-5030	172	10	feng	feng	PROPN
ejpam-5030	172	11	.	.	PUNCT
ejpam-5030	173	1	intuitionistic	intuitionistic	ADJ
ejpam-5030	173	2	fuzzy	fuzzy	ADJ
ejpam-5030	173	3	soft	soft	ADJ
ejpam-5030	173	4	k	k	NOUN
ejpam-5030	173	5	-	-	PUNCT
ejpam-5030	173	6	algebras	algebra	NOUN
ejpam-5030	173	7	.	.	PUNCT
ejpam-5030	174	1	math.comput.sci	math.comput.sci	PROPN
ejpam-5030	174	2	.	.	PROPN
ejpam-5030	174	3	,	,	PUNCT
ejpam-5030	174	4	7:353–365	7:353–365	PROPN
ejpam-5030	174	5	,	,	PUNCT
ejpam-5030	174	6	2013	2013	NUM
ejpam-5030	174	7	.	.	PUNCT
ejpam-5030	175	1	[	[	X
ejpam-5030	175	2	14	14	NUM
ejpam-5030	175	3	]	]	PUNCT
ejpam-5030	175	4	p.	p.	PROPN
ejpam-5030	175	5	k.	k.	PROPN
ejpam-5030	176	1	maji	maji	PROPN
ejpam-5030	176	2	.	.	PUNCT
ejpam-5030	177	1	more	more	ADJ
ejpam-5030	177	2	on	on	ADP
ejpam-5030	177	3	intuitionistic	intuitionistic	ADJ
ejpam-5030	177	4	fuzzy	fuzzy	ADJ
ejpam-5030	177	5	soft	soft	ADJ
ejpam-5030	177	6	sets	set	NOUN
ejpam-5030	177	7	.	.	PUNCT
ejpam-5030	178	1	lect	lect	PROPN
ejpam-5030	178	2	.	.	PUNCT
ejpam-5030	179	1	notes	note	NOUN
ejpam-5030	179	2	comput	comput	ADJ
ejpam-5030	179	3	.	.	PUNCT
ejpam-5030	180	1	sci	sci	PROPN
ejpam-5030	180	2	.	.	PROPN
ejpam-5030	180	3	,	,	PUNCT
ejpam-5030	180	4	59(8):231	59(8):231	PROPN
ejpam-5030	180	5	–	–	PUNCT
ejpam-5030	180	6	240	240	NUM
ejpam-5030	180	7	,	,	PUNCT
ejpam-5030	180	8	2009	2009	NUM
ejpam-5030	180	9	.	.	PUNCT
ejpam-5030	181	1	[	[	X
ejpam-5030	181	2	15	15	NUM
ejpam-5030	181	3	]	]	X
ejpam-5030	181	4	p.	p.	PROPN
ejpam-5030	181	5	k.	k.	PROPN
ejpam-5030	182	1	maji	maji	PROPN
ejpam-5030	182	2	,	,	PUNCT
ejpam-5030	182	3	r.	r.	PROPN
ejpam-5030	182	4	biswas	biswas	PROPN
ejpam-5030	182	5	,	,	PUNCT
ejpam-5030	182	6	and	and	CCONJ
ejpam-5030	182	7	a.	a.	PROPN
ejpam-5030	182	8	r.	r.	PROPN
ejpam-5030	182	9	roy	roy	PROPN
ejpam-5030	182	10	.	.	PROPN
ejpam-5030	183	1	on	on	ADP
ejpam-5030	183	2	intuitionistic	intuitionistic	ADJ
ejpam-5030	183	3	fuzzy	fuzzy	ADJ
ejpam-5030	183	4	soft	soft	ADJ
ejpam-5030	183	5	sets	set	NOUN
ejpam-5030	183	6	.	.	PUNCT
ejpam-5030	184	1	j.	j.	PROPN
ejpam-5030	184	2	fuzzy	fuzzy	PROPN
ejpam-5030	184	3	math	math	PROPN
ejpam-5030	184	4	.	.	PUNCT
ejpam-5030	185	1	,	,	PUNCT
ejpam-5030	185	2	12(3):669–683	12(3):669–683	PROPN
ejpam-5030	185	3	,	,	PUNCT
ejpam-5030	185	4	2004	2004	NUM
ejpam-5030	185	5	.	.	PUNCT
ejpam-5030	186	1	[	[	X
ejpam-5030	186	2	16	16	NUM
ejpam-5030	186	3	]	]	X
ejpam-5030	186	4	g.	g.	PROPN
ejpam-5030	186	5	muhiuddin	muhiuddin	PROPN
ejpam-5030	186	6	,	,	PUNCT
ejpam-5030	186	7	d.	d.	PROPN
ejpam-5030	186	8	al	al	PROPN
ejpam-5030	186	9	-	-	PUNCT
ejpam-5030	186	10	kadi	kadi	PROPN
ejpam-5030	186	11	,	,	PUNCT
ejpam-5030	186	12	and	and	CCONJ
ejpam-5030	186	13	m.	m.	NOUN
ejpam-5030	186	14	balamurugan	balamurugan	VERB
ejpam-5030	186	15	.	.	PUNCT
ejpam-5030	187	1	anti	anti	ADJ
ejpam-5030	187	2	-	-	ADJ
ejpam-5030	187	3	intuitionistic	intuitionistic	ADJ
ejpam-5030	187	4	fuzzy	fuzzy	ADJ
ejpam-5030	187	5	soft	soft	ADJ
ejpam-5030	187	6	aideals	aideal	NOUN
ejpam-5030	187	7	applied	apply	VERB
ejpam-5030	187	8	to	to	ADP
ejpam-5030	187	9	bci	bci	NOUN
ejpam-5030	187	10	-	-	PUNCT
ejpam-5030	187	11	algebras	algebra	NOUN
ejpam-5030	187	12	.	.	PUNCT
ejpam-5030	188	1	axioms	axiom	NOUN
ejpam-5030	188	2	,	,	PUNCT
ejpam-5030	188	3	9:79	9:79	NUM
ejpam-5030	188	4	,	,	PUNCT
ejpam-5030	188	5	2020	2020	NUM
ejpam-5030	188	6	.	.	PUNCT
ejpam-5030	189	1	[	[	X
ejpam-5030	189	2	17	17	NUM
ejpam-5030	189	3	]	]	X
ejpam-5030	189	4	g.	g.	PROPN
ejpam-5030	189	5	muhiuddin	muhiuddin	PROPN
ejpam-5030	189	6	and	and	CCONJ
ejpam-5030	189	7	m.	m.	NOUN
ejpam-5030	189	8	balamurugan	balamurugan	VERB
ejpam-5030	189	9	.	.	PUNCT
ejpam-5030	190	1	hesitant	hesitant	ADJ
ejpam-5030	190	2	intuitionistic	intuitionistic	ADJ
ejpam-5030	190	3	fuzzy	fuzzy	ADJ
ejpam-5030	190	4	soft	soft	ADJ
ejpam-5030	190	5	b	b	NOUN
ejpam-5030	190	6	-	-	PUNCT
ejpam-5030	190	7	ideals	ideal	NOUN
ejpam-5030	190	8	of	of	ADP
ejpam-5030	190	9	bck	bck	NOUN
ejpam-5030	190	10	-	-	PUNCT
ejpam-5030	190	11	algebras	algebras	PROPN
ejpam-5030	190	12	.	.	PUNCT
ejpam-5030	191	1	annals	annal	NOUN
ejpam-5030	191	2	of	of	ADP
ejpam-5030	191	3	communications	communication	NOUN
ejpam-5030	191	4	in	in	ADP
ejpam-5030	191	5	mathematics	mathematic	NOUN
ejpam-5030	191	6	,	,	PUNCT
ejpam-5030	191	7	3(1):26–34	3(1):26–34	NUM
ejpam-5030	191	8	,	,	PUNCT
ejpam-5030	191	9	2020	2020	NUM
ejpam-5030	191	10	.	.	PUNCT
ejpam-5030	192	1	[	[	X
ejpam-5030	192	2	18	18	NUM
ejpam-5030	192	3	]	]	X
ejpam-5030	192	4	g.	g.	PROPN
ejpam-5030	192	5	muhiuddin	muhiuddin	PROPN
ejpam-5030	192	6	,	,	PUNCT
ejpam-5030	192	7	m.e	m.e	PROPN
ejpam-5030	192	8	.	.	PROPN
ejpam-5030	192	9	elnair	elnair	PROPN
ejpam-5030	192	10	,	,	PUNCT
ejpam-5030	192	11	and	and	CCONJ
ejpam-5030	192	12	m.	m.	NOUN
ejpam-5030	192	13	balamurugan	balamurugan	VERB
ejpam-5030	192	14	.	.	PUNCT
ejpam-5030	193	1	some	some	DET
ejpam-5030	193	2	operations	operation	NOUN
ejpam-5030	193	3	of	of	ADP
ejpam-5030	193	4	antiintuitionistic	antiintuitionistic	ADJ
ejpam-5030	193	5	l	l	ADJ
ejpam-5030	193	6	-	-	ADJ
ejpam-5030	193	7	fuzzy	fuzzy	ADJ
ejpam-5030	193	8	soft	soft	ADJ
ejpam-5030	193	9	b	b	NOUN
ejpam-5030	193	10	-	-	PUNCT
ejpam-5030	193	11	ideals	ideal	NOUN
ejpam-5030	193	12	of	of	ADP
ejpam-5030	193	13	bg	bg	PROPN
ejpam-5030	193	14	-	-	PUNCT
ejpam-5030	193	15	algebras	algebras	PROPN
ejpam-5030	193	16	.	.	PUNCT
ejpam-5030	194	1	annals	annal	NOUN
ejpam-5030	194	2	of	of	ADP
ejpam-5030	194	3	fuzzy	fuzzy	ADJ
ejpam-5030	194	4	mathematics	mathematic	NOUN
ejpam-5030	194	5	and	and	CCONJ
ejpam-5030	194	6	informatics	informatic	NOUN
ejpam-5030	194	7	,	,	PUNCT
ejpam-5030	194	8	20(2):125–148	20(2):125–148	PROPN
ejpam-5030	194	9	,	,	PUNCT
ejpam-5030	194	10	2020	2020	NUM
ejpam-5030	194	11	.	.	PUNCT
ejpam-5030	195	1	[	[	X
ejpam-5030	195	2	19	19	NUM
ejpam-5030	195	3	]	]	X
ejpam-5030	195	4	g.	g.	PROPN
ejpam-5030	195	5	muhiuddin	muhiuddin	PROPN
ejpam-5030	195	6	and	and	CCONJ
ejpam-5030	195	7	young	young	ADJ
ejpam-5030	195	8	bae	bae	PROPN
ejpam-5030	195	9	jun	jun	PROPN
ejpam-5030	195	10	.	.	PROPN
ejpam-5030	195	11	sup	sup	ADJ
ejpam-5030	195	12	-	-	PUNCT
ejpam-5030	195	13	hesitant	hesitant	ADJ
ejpam-5030	195	14	fuzzy	fuzzy	ADJ
ejpam-5030	195	15	subalgebras	subalgebra	NOUN
ejpam-5030	195	16	and	and	CCONJ
ejpam-5030	195	17	its	its	PRON
ejpam-5030	195	18	translations	translation	NOUN
ejpam-5030	195	19	and	and	CCONJ
ejpam-5030	195	20	extensions	extension	NOUN
ejpam-5030	195	21	.	.	PUNCT
ejpam-5030	196	1	annals	annal	NOUN
ejpam-5030	196	2	of	of	ADP
ejpam-5030	196	3	communications	communication	NOUN
ejpam-5030	196	4	in	in	ADP
ejpam-5030	196	5	mathematics	mathematic	NOUN
ejpam-5030	196	6	,	,	PUNCT
ejpam-5030	196	7	2(1):48–56	2(1):48–56	NUM
ejpam-5030	196	8	,	,	PUNCT
ejpam-5030	196	9	2019	2019	NUM
ejpam-5030	196	10	.	.	PUNCT
ejpam-5030	197	1	[	[	X
ejpam-5030	197	2	20	20	NUM
ejpam-5030	197	3	]	]	X
ejpam-5030	197	4	g.	g.	PROPN
ejpam-5030	197	5	muhiuddin	muhiuddin	PROPN
ejpam-5030	197	6	,	,	PUNCT
ejpam-5030	197	7	s.	s.	PROPN
ejpam-5030	197	8	j.	j.	PROPN
ejpam-5030	197	9	kim	kim	PROPN
ejpam-5030	197	10	,	,	PUNCT
ejpam-5030	197	11	and	and	CCONJ
ejpam-5030	197	12	y.	y.	PROPN
ejpam-5030	197	13	b.	b.	PROPN
ejpam-5030	197	14	jun	jun	PROPN
ejpam-5030	197	15	.	.	PROPN
ejpam-5030	197	16	implicative	implicative	PROPN
ejpam-5030	197	17	n	n	CCONJ
ejpam-5030	197	18	-	-	PUNCT
ejpam-5030	197	19	ideals	ideal	NOUN
ejpam-5030	197	20	of	of	ADP
ejpam-5030	197	21	bck	bck	NOUN
ejpam-5030	197	22	-	-	PUNCT
ejpam-5030	197	23	algebras	algebras	PROPN
ejpam-5030	197	24	based	base	VERB
ejpam-5030	197	25	on	on	ADP
ejpam-5030	197	26	neutrosophic	neutrosophic	ADJ
ejpam-5030	197	27	n	n	CCONJ
ejpam-5030	197	28	-	-	PUNCT
ejpam-5030	197	29	structures	structure	NOUN
ejpam-5030	197	30	.	.	PUNCT
ejpam-5030	198	1	discrete	discrete	ADJ
ejpam-5030	198	2	mathematics	mathematic	NOUN
ejpam-5030	198	3	algorithms	algorithm	NOUN
ejpam-5030	198	4	and	and	CCONJ
ejpam-5030	198	5	applications	application	NOUN
ejpam-5030	198	6	,	,	PUNCT
ejpam-5030	198	7	11(1):17	11(1):17	NUM
ejpam-5030	198	8	pages	page	NOUN
ejpam-5030	198	9	,	,	PUNCT
ejpam-5030	198	10	2019	2019	NUM
ejpam-5030	198	11	.	.	PUNCT
ejpam-5030	199	1	[	[	X
ejpam-5030	199	2	21	21	NUM
ejpam-5030	199	3	]	]	X
ejpam-5030	199	4	g.	g.	PROPN
ejpam-5030	199	5	muhiuddin	muhiuddin	PROPN
ejpam-5030	199	6	,	,	PUNCT
ejpam-5030	199	7	a.	a.	NOUN
ejpam-5030	199	8	mehboob	mehboob	PROPN
ejpam-5030	199	9	,	,	PUNCT
ejpam-5030	199	10	and	and	CCONJ
ejpam-5030	199	11	m.	m.	NOUN
ejpam-5030	199	12	balamurugan	balamurugan	VERB
ejpam-5030	199	13	.	.	PUNCT
ejpam-5030	200	1	hesitant	hesitant	ADJ
ejpam-5030	200	2	anti	anti	ADJ
ejpam-5030	200	3	-	-	ADJ
ejpam-5030	200	4	intuitionistic	intuitionistic	ADJ
ejpam-5030	200	5	fuzzy	fuzzy	ADJ
ejpam-5030	200	6	soft	soft	ADJ
ejpam-5030	200	7	commutative	commutative	ADJ
ejpam-5030	200	8	ideals	ideal	NOUN
ejpam-5030	200	9	of	of	ADP
ejpam-5030	200	10	bck	bck	NOUN
ejpam-5030	200	11	-	-	PUNCT
ejpam-5030	200	12	algebras	algebras	PROPN
ejpam-5030	200	13	.	.	PUNCT
ejpam-5030	201	1	annals	annal	NOUN
ejpam-5030	201	2	of	of	ADP
ejpam-5030	201	3	communications	communication	NOUN
ejpam-5030	201	4	in	in	ADP
ejpam-5030	201	5	mathematics	mathematic	NOUN
ejpam-5030	201	6	,	,	PUNCT
ejpam-5030	201	7	3(2):158–170	3(2):158–170	NUM
ejpam-5030	201	8	,	,	PUNCT
ejpam-5030	201	9	2020	2020	NUM
ejpam-5030	201	10	.	.	PUNCT
ejpam-5030	202	1	[	[	X
ejpam-5030	202	2	22	22	NUM
ejpam-5030	202	3	]	]	X
ejpam-5030	202	4	g.	g.	PROPN
ejpam-5030	202	5	muhiuddin	muhiuddin	PROPN
ejpam-5030	202	6	,	,	PUNCT
ejpam-5030	202	7	m.	m.	NOUN
ejpam-5030	202	8	m.	m.	PROPN
ejpam-5030	202	9	takallo	takallo	PROPN
ejpam-5030	202	10	,	,	PUNCT
ejpam-5030	202	11	r.	r.	PROPN
ejpam-5030	202	12	a.	a.	PROPN
ejpam-5030	202	13	borzooei	borzooei	PROPN
ejpam-5030	202	14	,	,	PUNCT
ejpam-5030	202	15	and	and	CCONJ
ejpam-5030	202	16	y.	y.	PROPN
ejpam-5030	202	17	b.	b.	PROPN
ejpam-5030	202	18	jun	jun	PROPN
ejpam-5030	202	19	.	.	PROPN
ejpam-5030	203	1	m	m	PROPN
ejpam-5030	203	2	-	-	ADJ
ejpam-5030	203	3	polar	polar	ADJ
ejpam-5030	203	4	fuzzy	fuzzy	ADJ
ejpam-5030	203	5	q	q	NOUN
ejpam-5030	203	6	-	-	PUNCT
ejpam-5030	203	7	ideals	ideal	NOUN
ejpam-5030	203	8	in	in	ADP
ejpam-5030	203	9	bci	bci	NOUN
ejpam-5030	203	10	-	-	PUNCT
ejpam-5030	203	11	algebras	algebras	PROPN
ejpam-5030	203	12	.	.	PUNCT
ejpam-5030	204	1	journal	journal	PROPN
ejpam-5030	204	2	of	of	ADP
ejpam-5030	204	3	king	king	PROPN
ejpam-5030	204	4	saud	saud	PROPN
ejpam-5030	204	5	universityscience	universityscience	PROPN
ejpam-5030	204	6	,	,	PUNCT
ejpam-5030	204	7	32(6):2803–2809	32(6):2803–2809	PROPN
ejpam-5030	204	8	,	,	PUNCT
ejpam-5030	204	9	2020	2020	NUM
ejpam-5030	204	10	.	.	PUNCT
ejpam-5030	205	1	[	[	X
ejpam-5030	205	2	23	23	NUM
ejpam-5030	205	3	]	]	PUNCT
ejpam-5030	205	4	t.	t.	NOUN
ejpam-5030	205	5	oner	oner	NOUN
ejpam-5030	205	6	,	,	PUNCT
ejpam-5030	205	7	t.	t.	PROPN
ejpam-5030	205	8	katican	katican	PROPN
ejpam-5030	205	9	,	,	PUNCT
ejpam-5030	205	10	and	and	CCONJ
ejpam-5030	205	11	a.	a.	PROPN
ejpam-5030	205	12	borumand	borumand	PROPN
ejpam-5030	205	13	saeid	saeid	PROPN
ejpam-5030	205	14	.	.	PUNCT
ejpam-5030	206	1	on	on	ADP
ejpam-5030	206	2	fuzzy	fuzzy	ADJ
ejpam-5030	206	3	sheffer	sheffer	NOUN
ejpam-5030	206	4	stroke	stroke	NOUN
ejpam-5030	206	5	be	be	AUX
ejpam-5030	206	6	-	-	PUNCT
ejpam-5030	206	7	algebras	algebra	NOUN
ejpam-5030	206	8	.	.	PUNCT
ejpam-5030	207	1	new	new	ADJ
ejpam-5030	207	2	mathematics	mathematic	NOUN
ejpam-5030	207	3	and	and	CCONJ
ejpam-5030	207	4	natural	natural	ADJ
ejpam-5030	207	5	computation	computation	NOUN
ejpam-5030	207	6	,	,	PUNCT
ejpam-5030	207	7	2023	2023	NUM
ejpam-5030	207	8	.	.	PUNCT
ejpam-5030	208	1	[	[	X
ejpam-5030	208	2	24	24	NUM
ejpam-5030	208	3	]	]	PUNCT
ejpam-5030	208	4	t.	t.	NOUN
ejpam-5030	208	5	oner	oner	NOUN
ejpam-5030	208	6	,	,	PUNCT
ejpam-5030	208	7	t.	t.	PROPN
ejpam-5030	208	8	katican	katican	PROPN
ejpam-5030	208	9	,	,	PUNCT
ejpam-5030	208	10	s.	s.	PROPN
ejpam-5030	208	11	svanidze	svanidze	PROPN
ejpam-5030	208	12	,	,	PUNCT
ejpam-5030	208	13	and	and	CCONJ
ejpam-5030	208	14	a.	a.	NOUN
ejpam-5030	208	15	rezaei	rezaei	PROPN
ejpam-5030	208	16	.	.	PUNCT
ejpam-5030	209	1	neutrosophic	neutrosophic	PROPN
ejpam-5030	209	2	n	n	CCONJ
ejpam-5030	209	3	-	-	PUNCT
ejpam-5030	209	4	structures	structure	NOUN
ejpam-5030	209	5	on	on	ADP
ejpam-5030	209	6	sheffer	sheffer	NOUN
ejpam-5030	209	7	stroke	stroke	NOUN
ejpam-5030	209	8	be	be	AUX
ejpam-5030	209	9	-	-	PUNCT
ejpam-5030	209	10	algebras	algebra	NOUN
ejpam-5030	209	11	.	.	PUNCT
ejpam-5030	210	1	journal	journal	PROPN
ejpam-5030	210	2	of	of	ADP
ejpam-5030	210	3	mahani	mahani	PROPN
ejpam-5030	210	4	mathematical	mathematical	ADJ
ejpam-5030	210	5	research	research	NOUN
ejpam-5030	210	6	center	center	NOUN
ejpam-5030	210	7	,	,	PUNCT
ejpam-5030	210	8	11(1):121–143	11(1):121–143	NOUN
ejpam-5030	210	9	,	,	PUNCT
ejpam-5030	210	10	2022	2022	NUM
ejpam-5030	210	11	.	.	PUNCT
ejpam-5030	211	1	[	[	X
ejpam-5030	211	2	25	25	NUM
ejpam-5030	211	3	]	]	PUNCT
ejpam-5030	211	4	a.	a.	NOUN
ejpam-5030	211	5	parveen	parveen	PROPN
ejpam-5030	211	6	and	and	CCONJ
ejpam-5030	211	7	m.	m.	PROPN
ejpam-5030	211	8	h.	h.	PROPN
ejpam-5030	211	9	begum	begum	PROPN
ejpam-5030	211	10	.	.	PUNCT
ejpam-5030	212	1	intuitionistic	intuitionistic	ADJ
ejpam-5030	212	2	fuzzy	fuzzy	ADJ
ejpam-5030	212	3	ideals	ideal	NOUN
ejpam-5030	212	4	of	of	ADP
ejpam-5030	212	5	be	be	NOUN
ejpam-5030	212	6	-	-	PUNCT
ejpam-5030	212	7	algebras	algebra	VERB
ejpam-5030	212	8	.	.	PUNCT
ejpam-5030	213	1	american	american	PROPN
ejpam-5030	213	2	international	international	PROPN
ejpam-5030	213	3	journal	journal	PROPN
ejpam-5030	213	4	of	of	ADP
ejpam-5030	213	5	research	research	NOUN
ejpam-5030	213	6	in	in	ADP
ejpam-5030	213	7	science	science	NOUN
ejpam-5030	213	8	,	,	PUNCT
ejpam-5030	213	9	technology	technology	NOUN
ejpam-5030	213	10	,	,	PUNCT
ejpam-5030	213	11	engineering	engineering	NOUN
ejpam-5030	213	12	&	&	CCONJ
ejpam-5030	213	13	mathematics	mathematic	NOUN
ejpam-5030	213	14	,	,	PUNCT
ejpam-5030	213	15	26(1):14–18	26(1):14–18	NUM
ejpam-5030	213	16	,	,	PUNCT
ejpam-5030	213	17	2019	2019	NUM
ejpam-5030	213	18	.	.	PUNCT
ejpam-5030	214	1	references	reference	NOUN
ejpam-5030	214	2	434	434	NUM
ejpam-5030	215	1	[	[	X
ejpam-5030	215	2	26	26	NUM
ejpam-5030	215	3	]	]	PUNCT
ejpam-5030	215	4	a.	a.	NOUN
ejpam-5030	215	5	rezaei	rezaei	PROPN
ejpam-5030	215	6	and	and	CCONJ
ejpam-5030	215	7	a.	a.	PROPN
ejpam-5030	215	8	borumand	borumand	PROPN
ejpam-5030	215	9	saeid	saeid	PROPN
ejpam-5030	215	10	.	.	PUNCT
ejpam-5030	216	1	on	on	ADP
ejpam-5030	216	2	fuzzy	fuzzy	ADJ
ejpam-5030	216	3	subalgebras	subalgebra	NOUN
ejpam-5030	216	4	of	of	ADP
ejpam-5030	216	5	be	be	AUX
ejpam-5030	216	6	-	-	PUNCT
ejpam-5030	216	7	algebras	algebra	NOUN
ejpam-5030	216	8	.	.	PUNCT
ejpam-5030	216	9	afr	afr	PROPN
ejpam-5030	216	10	.	.	PUNCT
ejpam-5030	217	1	mat	mat	PROPN
ejpam-5030	217	2	.	.	PROPN
ejpam-5030	217	3	,	,	PUNCT
ejpam-5030	217	4	22:115–127	22:115–127	PROPN
ejpam-5030	217	5	,	,	PUNCT
ejpam-5030	217	6	2011	2011	NUM
ejpam-5030	217	7	.	.	PUNCT
ejpam-5030	218	1	[	[	X
ejpam-5030	218	2	27	27	NUM
ejpam-5030	218	3	]	]	PUNCT
ejpam-5030	218	4	t.	t.	NOUN
ejpam-5030	218	5	senapati	senapati	PROPN
ejpam-5030	218	6	,	,	PUNCT
ejpam-5030	218	7	g.	g.	PROPN
ejpam-5030	218	8	muhiuddin	muhiuddin	PROPN
ejpam-5030	218	9	,	,	PUNCT
ejpam-5030	218	10	and	and	CCONJ
ejpam-5030	218	11	k.	k.	PROPN
ejpam-5030	218	12	p.	p.	PROPN
ejpam-5030	218	13	shum	shum	PROPN
ejpam-5030	218	14	.	.	PUNCT
ejpam-5030	219	1	representation	representation	NOUN
ejpam-5030	219	2	of	of	ADP
ejpam-5030	219	3	up	up	ADV
ejpam-5030	219	4	-	-	PUNCT
ejpam-5030	219	5	algebras	algebras	NOUN
ejpam-5030	219	6	in	in	ADP
ejpam-5030	219	7	interval	interval	NOUN
ejpam-5030	219	8	-	-	PUNCT
ejpam-5030	219	9	valued	value	VERB
ejpam-5030	219	10	intuitionistic	intuitionistic	ADJ
ejpam-5030	219	11	fuzzy	fuzzy	ADJ
ejpam-5030	219	12	environment	environment	NOUN
ejpam-5030	219	13	.	.	PUNCT
ejpam-5030	220	1	italian	italian	ADJ
ejpam-5030	220	2	journal	journal	NOUN
ejpam-5030	220	3	of	of	ADP
ejpam-5030	220	4	pure	pure	ADJ
ejpam-5030	220	5	and	and	CCONJ
ejpam-5030	220	6	applied	applied	ADJ
ejpam-5030	220	7	mathematics	mathematic	NOUN
ejpam-5030	220	8	,	,	PUNCT
ejpam-5030	220	9	28:497–518	28:497–518	NUM
ejpam-5030	220	10	,	,	PUNCT
ejpam-5030	220	11	2017	2017	NUM
ejpam-5030	220	12	.	.	PUNCT
ejpam-5030	221	1	[	[	X
ejpam-5030	221	2	28	28	NUM
ejpam-5030	221	3	]	]	PUNCT
ejpam-5030	221	4	tapan	tapan	NOUN
ejpam-5030	221	5	senapati	senapati	PROPN
ejpam-5030	221	6	,	,	PUNCT
ejpam-5030	221	7	y.b	y.b	PROPN
ejpam-5030	221	8	.	.	PROPN
ejpam-5030	221	9	jun	jun	PROPN
ejpam-5030	221	10	,	,	PUNCT
ejpam-5030	221	11	g.	g.	PROPN
ejpam-5030	221	12	muhiuddin	muhiuddin	PROPN
ejpam-5030	221	13	,	,	PUNCT
ejpam-5030	221	14	and	and	CCONJ
ejpam-5030	221	15	k.	k.	PROPN
ejpam-5030	221	16	p.	p.	PROPN
ejpam-5030	221	17	shum	shum	PROPN
ejpam-5030	221	18	.	.	PUNCT
ejpam-5030	222	1	cubic	cubic	ADJ
ejpam-5030	222	2	intuitionistic	intuitionistic	ADJ
ejpam-5030	222	3	structures	structure	NOUN
ejpam-5030	222	4	applied	apply	VERB
ejpam-5030	222	5	to	to	ADP
ejpam-5030	222	6	ideals	ideal	NOUN
ejpam-5030	222	7	of	of	ADP
ejpam-5030	222	8	bci	bci	NOUN
ejpam-5030	222	9	-	-	PUNCT
ejpam-5030	222	10	algebras	algebras	X
ejpam-5030	222	11	.	.	PUNCT
ejpam-5030	223	1	analele	analele	PROPN
ejpam-5030	223	2	stiintifice	stiintifice	PROPN
ejpam-5030	223	3	ale	ale	PROPN
ejpam-5030	223	4	universitatii	universitatii	PROPN
ejpam-5030	223	5	ovidius	ovidius	PROPN
ejpam-5030	223	6	constanta	constanta	PROPN
ejpam-5030	223	7	-	-	PUNCT
ejpam-5030	223	8	seria	seria	PROPN
ejpam-5030	223	9	matematica	matematica	PROPN
ejpam-5030	223	10	,	,	PUNCT
ejpam-5030	223	11	27(2):213–232	27(2):213–232	PROPN
ejpam-5030	223	12	,	,	PUNCT
ejpam-5030	223	13	2019	2019	NUM
ejpam-5030	223	14	.	.	PUNCT