Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL |
scientific article |
Statements
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (English)
0 references
27 October 2006
0 references
The authors establish for substructural logics over the full Lambek calculus FL an algebraic foundation by pointed residuated lattices, with which a systematic investigation on the logics is developed from a global viewpoint. As one of such observations, it is shown that any substructural logic over FL enjoys a weak form of the deduction theorem, called parametrized local deduction theorem. The authors also examine interpolation properties, for there can be considered various types of interpolation properties under a substructural context, particularly. The analysis explains, among others, how they imply the amalgamation property for certain varieties of residuated lattices.
0 references
substructural logic
0 references
pointed residuated lattice
0 references
algebraic semantics
0 references
parametrized local deduction theorem
0 references
interpolation
0 references
amalgamation property
0 references
full Lambek calculus
0 references