activity
20142023
most citedUnified Correspondence and Proof Theory for Strict Implication

14 citations · 28 across the 9 of their papers we have counts for

collaborators
Showing 2014Show all

3 papers · 1 filter

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…

cs.LO2014

The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek Calculus

Zhe Lin, Minghui Ma

We analyze the complexity of decision problems for Boolean Nonassociative Lambek Calculus admitting empty antecedent of sequents (), and the consequence relation o…

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…