Zhe Lin

activity

20142023

most citedResiduated Basic Logic I

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

collaborators

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 $L_{RBL}$ for residuated basic logic $RBL$ 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 ( $RBL$ ) of residuated basic algebra in which the basic implication of Visser's basic propositional logic ( $BPL$ ) is interprete…