Poset Products as Relational Models
From MaRDI portal
Publication:6355136
DOI10.1007/S11225-021-09956-ZarXiv2012.01247MaRDI QIDQ6355136FDOQ6355136
Publication date: 2 December 2020
Abstract: We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also demonstrate that our relational semantics unifies and generalizes two semantics already appearing in the literature: Aguzzoli, Bianchi, and Marra's temporal flow semantics for H'ajek's basic logic, and Lewis-Smith, Oliva, and Robinson's semantics for intuitionistic Lukasiewicz logic. As a consequence of our general theory, we recover the soundness and completeness results of these prior studies in a uniform fashion, and extend them to infinitely-many other substructural logics.
This page was built for publication: Poset Products as Relational Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6355136)
