Full Lambek Calculus with Contraction is Undecidable
Bibliographic details
- Authors
- Rostislav Horčík, Karel Chvalovský
- Publication year
- Publication type
- Abstrakt
- Periodical
- Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts
- Bibliographic citation
- HORČÍK, Rostislav, CHVALOVSKÝ, Karel. Full Lambek Calculus with Contraction is Undecidable. In: Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts. 2014, S. 13-13.
- ID
- 439018