Review of type-logical semantics
References
[1]
K. Ajdukiewicz. Die syntaktische Konnexität. Studia Philosophica, 1:1--27, 1935.
[2]
J. Allwood, L.-G. Andersson, and O. Dahl. Logic in Linguistics. Cambridge Textbooks in Linguistics. Cambridge University Press, 1977.
[3]
P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth through Proof. Academic Press, 1986.
[4]
Y. Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, 29:47--58, 1953.
[5]
H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics. Studies in Logic. North-Holland, Amsterdam, 1981.
[6]
N. Chomsky. Syntactic Structures. Mouton and Co., 1957.
[7]
H. B. Curry. Some logical aspects of grammatical structure. In American Mathematical Society Proceedings of the Symposia on Applied Mathematics 12, pages 56--68, 1961.
[8]
J. Lambek. The mathematics of sentence structure. The American Mathematical Monthly, 65:154--170, 1958.
[9]
R. Montague. Formal Philosophy: Selected Papers of Richard Montague. Yale University Press, 1974.
[10]
G. V. Morrill. Type Logical Grammar: Categorial Logic of Signs. Kluwer Academic Publishers, 1994.
[11]
A. Ranta. Type-Theoretical Grammar. Oxford University Press, 1994.
[12]
J. van Benthem. The semantics of variety in categorial grammar. In W. Buszkowski, J. van Benthem, and W. Marciszewski, editors, Categorial Grammar, number 25 in Linguistics and Literary Studies in Eastern Europe, pages 37--55. John Benjamins, 1986. Previously appeared as Report 83--29, Department of Mathematics, Simon Fraser University (1983).
[13]
M. M. Wood. Categorial Grammars. Routledge, 1993.
Index Terms
- Review of type-logical semantics
Index terms have been assigned to the content through auto-classification.
Recommendations
A deterministic logical semantics for pure Esterel
Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs ...
A Deterministic Logical Semantics for Esterel
Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs ...
Comments
Information & Contributors
Information
Published In
Copyright © 2003 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 March 2003
Published in SIGACT Volume 34, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 196Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 15 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in