Lambek Calculus and its relational semantics: Completeness and incompleteness-Reference-Cited by-同舟云学术

Lambek Calculus and its relational semantics: Completeness and incompleteness

Published:1994-01 Issue:1 Volume:3 Page:1-37
ISSN:0925-8531
Container-title:Journal of Logic, Language and Information
language:en
Short-container-title:J Logic Lang Inf

Author:

Andr�ka Hajnal,Mikul�s Szabolcs

Publisher

Springer Science and Business Media LLC

Subject

Linguistics and Language,Philosophy,Computer Science (miscellaneous)

Link

http://link.springer.com/content/pdf/10.1007/BF01066355.pdf

Reference31 articles.

1. Andréka, H., 1988, ?On the representation problem of distributive semilattice-ordered semigroups?, Mathematical Institute of the Hungarian Academy of Sciences.

2. Andréka, H., 1991, ?Representations of distributive lattice-ordered semigroups with binary relations?,Algebra Universalis 28, 12?25.

3. Andréka, H., Németi, I., Sain, I., 1991, ?On the strength of temporal proofs?,Theoretical Computer Science 80, 125?151.

4. van Benthem, J., 1989a, ?Semantic parallels in natural language and computation? inLogic Colloquium. Granada 1987, Ebbinghaus, H.-D.et al., (eds.), North-Holland, Amsterdam, 331?375.

5. van Benthem, J., 1989b, ?Language in action?,Journal of Philosophical Logic 20, 225?263.

Cited by 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Relational Models for the Lambek Calculus with Intersection and Constants;Logical Methods in Computer Science;2023-12-18

2. Complexity of the Lambek Calculus and Its Extensions;Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021);2023

3. Unitless Frobenius Quantales;Applied Categorical Structures;2022-12-27

4. Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups;Journal of Logic and Computation;2022-11-07

5. Versions of a Local Contraction Subexponential in the Lambek Calculus;Algebra and Logic;2022-09