Undecidability of consequence relation in Full Non-associative Lambek Calculus

Bibliografické údaje

Autoři

• Karel Chvalovský

Rok vydání

2014

Typ publikace

Abstrakt

Periodikum

Abstract Booklet - LATD 2014

Projekty

• Matematická fuzzy logika v informatice

Bibliografická citace

CHVALOVSKÝ, Karel. Undecidability of consequence relation in Full Non-associative Lambek Calculus. In: BAAZ, M., CIABATTONI, A., HETZL, S., eds. Abstract Booklet - LATD 2014. Vienna: Vienna University of Technology, 2014, S. 153-154.

ID

431686