• Title of article

    Models for the Lambek calculus Original Research Article

  • Author/Authors

    Mati Pentus، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1995
  • Pages
    35
  • From page
    179
  • To page
    213
  • Abstract
    We prove that the Lambek calculus is complete w.r.t. L-models, i.e., free semigroup models. We also prove the completeness w.r.t. relativized relational models over the natural linear order of integers.
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    1995
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    890024

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=890024