Yiheng Wang

Mr. Yiheng Wang

orcid

Research Focus & Metrics

Academic Career Length

4Years (2023-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
2 April 2024 in Journal of Applied Non-Classical Logics
Verified
Journal Article
Closed access
Yiheng WangYiheng Wang
Yiheng Wang
ZLZhe Lin
Zhe Lin
MMMinghui Ma
Minghui Ma



10 March 2023 in arXiv
Verified
Preprint
Open access
PDF file
Yiheng WangYiheng Wang
Yiheng Wang
HZHao ZHAN
Hao ZHAN
YPYu Peng
Yu Peng
ZLZhe Lin
Zhe Lin
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.

4 September 2026 in Synthese
Verified
Journal Article
Closed access
PDF file
Yiheng WangYiheng Wang
Yiheng Wang
ZLZhe Lin
Zhe Lin
YPYu Peng
Yu Peng
ZYZhe Yu
Zhe Yu