1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…