Models for the Lambek Calculus

@article{Pentus1995ModelsFT,
  title={Models for the Lambek Calculus},
  author={Mati Pentus},
  journal={Ann. Pure Appl. Logic},
  year={1995},
  volume={75},
  pages={179-213}
}
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. 

From This Paper

Topics from this paper.
20 Citations
14 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 14 references

The mathematics of sentence structure

  • J. Lambek
  • American Mathematical Monthly,
  • 1958
Highly Influential
3 Excerpts

On the completeness of the Lambek calculus with respect to relativized relational semantics

  • N. Pankratiev
  • J. Logic Language Inform.,
  • 1994
1 Excerpt

Lambek calculus is L-complete. ILLC Prepublication Series LP–93–14, Institute for Logic, Language and Computation

  • M. Pentus
  • University of Amsterdam,
  • 1993
2 Excerpts

Lambek calculus is Lcomplete

  • M. Pentus.
  • ILLC Prepublication Series LP
  • 1993

Mikulás . Lambek calculus and its relational semantics : completeness and incompleteness

  • Sz.
  • ILLC Prepublication Series LP
  • 1992

Similar Papers

Loading similar papers…