We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Residuated Basic Logic II. Interpolation, Decidability and Embedding

Abstract: We prove that the sequent calculus $\mathsf{L_{RBL}}$ for residuated basic logic $\mathsf{RBL}$ has strong finite model property, and that intuitionistic logic can be embedded into basic propositional logic $\mathsf{BPL}$. Thus $\mathsf{RBL}$ is decidable. Moreover, it follows that the class of residuated basic algebras has the finite embeddability property, and that $\mathsf{BPL}$ is PSPACE-complete, and that intuitionistic logic can be embedded into the modal logic $\mathsf{K4}$.
Comments: 17 pages with 1 figure
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
MSC classes: 03B47
ACM classes: F.4.1
Cite as: arXiv:1404.7401 [math.LO]
  (or arXiv:1404.7401v1 [math.LO] for this version)

Submission history

From: Minghui Ma [view email]
[v1] Mon, 24 Feb 2014 01:02:20 GMT (49kb,D)

Link back to: arXiv, form interface, contact.