Article contents
FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
Published online by Cambridge University Press: 10 May 2016
Abstract
We prove that the set of formulae provable in the full Lambek calculus with the structural rule of contraction is undecidable. In fact, we show that the positive fragment of this logic is undecidable.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2016
References
REFERENCES
- 7
- Cited by