Full Lambek Calculus with Contraction is Undecidable

Bibliografické údaje

Autoři

• Rostislav Horčík
• Karel Chvalovský

Rok vydání

2014

Typ publikace

Abstrakt

Periodikum

Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts

Bibliografická citace

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