14 citations · 28 across the 9 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
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…