Full Lambek Calculus with contraction is undecidable

Bibliografické údaje

Autoři

• Karel Chvalovský
• Rostislav Horčík

Rok vydání

2015

Typ publikace

Abstrakt

Periodikum

Topology, Algebra and Categories in Logic. Booklet of Abstracts

Projekty

• Algebraické metody v teorii důkazů

Bibliografická citace

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