Using tableaux to automate the Lambek and other categorial calculi (Q1854380)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Using tableaux to automate the Lambek and other categorial calculi
scientific article

    Statements

    Using tableaux to automate the Lambek and other categorial calculi (English)
    0 references
    0 references
    14 January 2003
    0 references
    automated theorem proving
    0 references
    Lambek calculus
    0 references
    labeled deduction
    0 references
    LLKE tableaux system
    0 references
    categorial grammars
    0 references
    labeled analytic tableaux
    0 references
    natural language processing
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references