2 papers
math.LO2024
On the Cut Elimination of Weak Intuitionistic Tense Logic
Yiheng Wang, Yu Peng, Zhe Lin
In this paper, we use a new method to prove cut-elimination of weak intuitionistic tense logic. This method focuses on splitting the contraction rule and cut rules. Further general…
math.LO2023
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
Yiheng Wang, Hao Zhan, Yu Peng +1
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operat…