Undecidability of consequence relation in Full Non-associative Lambek Calculus

Bibliographic details

Authors

Karel Chvalovský

Publication year

2014

Publication type

Abstrakt

Periodical

Abstract Booklet - LATD 2014

Projects

• Mathematical Fuzzy Logic in Computer Science

Bibliographic citation

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