Proof Nets for Lambek Calculus (Q4013256)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof Nets for Lambek Calculus
scientific article

    Statements

    Proof Nets for Lambek Calculus (English)
    0 references
    0 references
    27 September 1992
    0 references
    0 references
    0 references
    0 references
    0 references
    nonlinear proof representation
    0 references
    linear logic
    0 references
    non-commutative Lambek calculus
    0 references
    proof nets as data structures
    0 references
    algorithms for automatic theorem proving
    0 references
    parallelism
    0 references
    0 references