Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
Graduate studies at Western
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||Substructural logic pointed residuated lattice algebraic semantics parametrized local deduction theorem interpolation|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
J. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Nikolaos Galatos & Hiroakira Ono (2006). Glivenko Theorems for Substructural Logics Over FL. Journal of Symbolic Logic 71 (4):1353 - 1384.
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier.
Hiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. Studia Logica 45 (1):19 - 33.
Greg Restall (forthcoming). Substructural Logics. Stanford Encyclopedia of Philosophy.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Kosta Došen (1996). Deductive Completeness. Bulletin of Symbolic Logic 2 (3):243-283.
Janusz Czelakowski (1986). Local Deductions Theorems. Studia Logica 45 (4):377 - 391.
Valentin Goranko (1985). The Craig Interpolation Theorem for Prepositional Logics with Strong Negation. Studia Logica 44 (3):291 - 317.
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
Added to index2009-01-28
Total downloads9 ( #122,521 of 739,366 )
Recent downloads (6 months)1 ( #61,680 of 739,366 )
How can I increase my downloads?