Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-006-8305-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2062581225 / rank | |||
Normal rank |
Revision as of 23:54, 19 March 2024
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