Year: 2015
Type: article
Abstract: We prove that all axiomatic extensions of the full Lambek calculus with exchange can be axiomatized by formulas on the level of the substructural hierarchy.
Source: Mathematical logic quarterly
Author: Emil Jeřábek
Institution: Czech Academy of Sciences, Institute of Mathematics
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W1826197316