2 citations · 3 across the 5 of their papers we have counts for
5 papers
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…
The Finite Model Property of Quasi-transitive Modal Logic
Zhe Lin, Minghui Ma
The finite model property of quasi-transitive modal logic is established. This modal logic is conservatively…
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…
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…
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…