Residuated Basic Logic II. Interpolation, Decidability and Embedding

Minghui Ma, Zhe Lin

We prove that the sequent calculus ${\mathsf{L}}_{\mathsf{RBL}}$ for residuated basic logic $\mathsf{RBL}$ has strong finite model property, and that intuitionistic logic can be embedded into…