S. Wang

activity

20152018

most citedSemilinear substructural logics with the finite embeddability property

1 citations · 2 across the 3 of their papers we have counts for

collaborators

3 papers

math.NT2018

An E-sequence approach to the 3x + 1 problem

SanMin Wang

For any odd positive integer $x$ , define $(x_{n})_{n ⩾ 0}$ and $(a_{n})_{n ⩾ 1}$ by setting $x_{0} = x, x_{n} = \frac{3 x _{n - 1} + 1}{2 ^{a_{n}}}$ such that all $x_{n}$ are…

math.LO2016★ 1 cited

Semilinear substructural logics with the finite embeddability property

SanMin Wang

In this paper, three semilinear substructural logics ULw, IULw and HpsUL*w are constructed. Then the completeness of ULw and IULw with respect to classes of finite UL and IUL-algeb…

math.LO2015★ 1 cited

Density Elimination for Semilinear Substructural Logics

SanMin Wang

We present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for the involutive uninorm logic IUL is proved.…