4 research outputs found
Poset products as relational models
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
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices
Quantale Modules, with Applications to Logic and Image Processing
We propose a categorical and algebraic study of quantale modules. The results
and constructions presented are also applied to abstract algebraic logic and to
image processing tasks.Comment: 150 pages, 17 figures, 3 tables, Doctoral dissertation, Univ Salern