Yinsheng Zhang

From MaRDI portal
(Redirected from Person:5144362)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Formalized deduction of quantifier-expanded syllogisms
Journal of Multiple-Valued Logic and Soft Computing
2025-08-20Paper
Harmonization, dualization and globalization of categorical propositions
Journal of Multiple-Valued Logic and Soft Computing
2025-08-20Paper
Improvements of categorical propositions on consistency and computability2021-01-15Paper
On the maximum income spanning forest games2014-06-30Paper


Research outcomes over time


This page was built for person: Yinsheng Zhang