Recognition of derivability for the Lambek calculus with one division

Yury Savateev

Research output: Contribution to journalArticlepeer-review

Abstract

A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.
Original languageEnglish
Pages (from-to)73-75
JournalMoscow University Mathematics Bulletin
Volume64
DOIs
Publication statusPublished - 10 May 2009

Fingerprint

Dive into the research topics of 'Recognition of derivability for the Lambek calculus with one division'. Together they form a unique fingerprint.

Cite this