2 citations · 3 across the 5 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
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…
math.LO2014★ 1 cited
Residuated Basic Logic II. Interpolation, Decidability and Embedding
Minghui Ma, Zhe Lin
We prove that the sequent calculus for residuated basic logic has strong finite model property, and that intuitionistic logic can be embedded into…
math.LO2014★ 2 cited
Residuated Basic Logic I
Minghui Ma, Zhe Lin
We study the residuated basic logic () of residuated basic algebra in which the basic implication of Visser's basic propositional logic () is interprete…