Zhang, Y. 2022. Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms. 4th International Conference on Intelligent and Fuzzy Systems (INFUS) , (Bornova, Turkey), 588-605.

Zhang, Y., (2022). Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms . 4th International Conference on Intelligent and Fuzzy Systems (INFUS) (pp.588-605). Bornova, Turkey

Zhang, Yinsheng. "Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms," 4th International Conference on Intelligent and Fuzzy Systems (INFUS), Bornova, Turkey, 2022

Zhang, Yinsheng. "Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms." 4th International Conference on Intelligent and Fuzzy Systems (INFUS) , Bornova, Turkey, pp.588-605, 2022

Zhang, Y. (2022) . "Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms." 4th International Conference on Intelligent and Fuzzy Systems (INFUS) , Bornova, Turkey, pp.588-605.

@conferencepaper{conferencepaper, author={Yinsheng Zhang}, title={Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms}, congress name={4th International Conference on Intelligent and Fuzzy Systems (INFUS)}, city={Bornova}, country={Turkey}, year={2022}, pages={588-605} }