Recognition of derivability for the Lambek calculus with one division

Yury Savateev

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

Abstract

A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.

Original language	English
Pages (from-to)	73-75
Journal	Moscow University Mathematics Bulletin
Volume	64
DOIs	https://doi.org/10.3103/S0027132209020077
Publication status	Published - 10 May 2009

@article{374ad4bdb2f74a39b0b6d2191a3a6c9b,

title = "Recognition of derivability for the Lambek calculus with one division",

abstract = "A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.",

author = "Yury Savateev",

year = "2009",

month = may,

day = "10",

doi = "10.3103/S0027132209020077",

language = "English",

volume = "64",

pages = "73--75",

journal = "Moscow University Mathematics Bulletin",

issn = "0027-1322",

publisher = "Pleiades Publishing",

}

TY - JOUR

T1 - Recognition of derivability for the Lambek calculus with one division

AU - Savateev, Yury

PY - 2009/5/10

Y1 - 2009/5/10

N2 - A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.

AB - A polynomial algorithm for determination of derivability in the Lambek calculus with one division is described in the paper.

U2 - 10.3103/S0027132209020077

DO - 10.3103/S0027132209020077

M3 - Article

SN - 0027-1322

VL - 64

SP - 73

EP - 75

JO - Moscow University Mathematics Bulletin

JF - Moscow University Mathematics Bulletin

ER -