Full Lambek Calculus with contraction is undecidable

Bibliographic details

Authors

Karel Chvalovský, Rostislav Horčík

Publication year

2015

Publication type

Abstrakt

Periodical

Topology, Algebra and Categories in Logic. Booklet of Abstracts

Projects

• Algebraic Methods in Proof Theory

Bibliographic citation

CHVALOVSKÝ, Karel, HORČÍK, Rostislav. Full Lambek Calculus with contraction is undecidable. In: Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015, S. 49-50.

ID

446016