Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
Studia Logica 83 (1-3):279 - 308 (2006)
|Abstract||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.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Valentin Goranko (1985). The Craig Interpolation Theorem for Prepositional Logics with Strong Negation. Studia Logica 44 (3):291 - 317.
Janusz Czelakowski (1986). Local Deductions Theorems. Studia Logica 45 (4):377 - 391.
Kosta Došen (1996). Deductive Completeness. Bulletin of Symbolic Logic 2 (3):243-283.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Hiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. Studia Logica 45 (1):19 - 33.
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
Added to index2009-01-28
Total downloads8 ( #124,537 of 556,807 )
Recent downloads (6 months)0
How can I increase my downloads?