id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
asir-35970	Hao, Liheng	Generalized Syllogism Reasoning with the Quantifiers in Modern Square{no} and Square{most}	2024	8	.pdf	application/pdf	2621	153	64	Fact 4 (subordination) : (4.1) ⊢all(b, x)some(b, x); (4.2) ⊢no(b, x)not all(b, x); (4.3) ⊢all(b, x)most(b, x); (4.4) ⊢most(b, x)some(b, x); (4.5) ⊢at least half of the(b, x)some(b, x); (4.6) ⊢all(b, x)at least half of the(b, x); (4.7) ⊢at most half of the(b, x)not all(b, x); (4.8) ⊢fewer than half of the(b, x)not all(b, x). most half of the(b, x); (1.8) at most half of the(b, x)=at least half of the(b, x). www.scholink.org/ojs/index.php/asir Applied Science and Innovative Research Vol. 8, No. 1, 2024 34 Published by SCHOLINK INC. Fact 2 (outer negation): (2.1) all(b, x)=not all(b, x); (2.2) not all(b, x)=all(b, x); (2.3) no(b, x)=some(b, x); (2.4) some(b, x)=no(b, x); (2.5) most(b, x)=at	cache/asir-35970.pdf	txt/asir-35970.txt