-
1
-
-
0000764813
-
Sequent calculus and phase semantics for pure noncommutative classical propositional linear logic
-
V.M. Abrusci, Sequent calculus and phase semantics for pure noncommutative classical propositional linear logic, Journal of Symbolic Logic 56 (1991), 1403–1451.
-
(1991)
Journal of Symbolic Logic
, vol.56
, pp. 1403-1451
-
-
Abrusci, V.M.1
-
2
-
-
84949601831
-
-
non-comm utative multiplicative -additiv e linear logic: language and sequent calculus; in: V.M. Abrusci and C. Casadio (eds), Proofs and linguistic categories, Proceedings
-
V.M. Abrusci, Lambek calculus, cyclic multiplicative -additiv e linear logic, non-comm utative multiplicative -additiv e linear logic: language and sequent calculus; in: V.M. Abrusci and C. Casadio (eds), Proofs and linguistic categories, Proceedings 1996
-
(1996)
Lambek Calculus, Cyclic Multiplicative -Additiv E Linear Logic
-
-
Abrusci, V.M.1
-
4
-
-
84949544291
-
-
Translated in: S. McCall, Polish Logic 1920-1939, Claredon Press, Oxford 1967
-
K. Ajdukiewicz, Die syntaktische Konnexität, Studia Philosophica 1 (1937), 1–27. Translated in: S. McCall, Polish Logic 1920-1939, Claredon Press, Oxford 1967.
-
(1937)
Studia Philosophica 1
, pp. 1-27
-
-
Ajdukiewicz, K.1
Konnexität, D.S.2
-
5
-
-
0010898587
-
A quasiarithmetical notation for syntactic description
-
Y. Bar-Hillel, A quasiarithmetical notation for syntactic description, Language 29 (1953), 47–58.
-
(1953)
Language
, vol.29
, pp. 47-58
-
-
Bar-Hillel, Y.1
-
15
-
-
1542758155
-
Some logical aspects of grammatical structure
-
R. Jacobson (editor), AMS Proc. Symposia Applied Mathematics
-
H.B. Curry, Some logical aspects of grammatical structure, in: R. Jacobson (editor), Structure of language and its mathematical aspects, AMS Proc. Symposia Applied Mathematics 12 (1961), 56–67.
-
(1961)
Structure of Language and Its Mathematical Aspects
, vol.12
, pp. 56-67
-
-
Curry, H.B.1
-
18
-
-
0003449657
-
-
Harvard University Press, Cambridge Mass
-
G. Gazdar, E. Klein, G. Pullum and I. Sag, Generalized phrase structure grammar, Harvard University Press, Cambridge Mass. 1985.
-
(1985)
Generalized Phrase Structure Grammar
-
-
Gazdar, G.1
Klein, E.2
Pullum, G.3
Sag, I.4
-
22
-
-
0010946830
-
The Lambek calculus enriched with additional connectives
-
M. Kanazawa, The Lambek calculus enriched with additional connectives, J. Logic, Language & Information 1 (1992), 141–171.
-
(1992)
J. Logic, Language & Information
, vol.1
, pp. 141-171
-
-
Kanazawa, M.1
-
23
-
-
0001065597
-
The mathematics of sentence structure
-
J. Lambek, The mathematics of sentence structure, Amer. Math. Monthly 65 (1958), 154-169.
-
(1958)
Amer. Math. Monthly
, vol.65
, pp. 154-169
-
-
Lambek, J.1
-
24
-
-
80054524950
-
Contribution to a mathematical analysis of the English verb-phrase
-
J. Lambek, Contribution to a mathematical analysis of the English verb-phrase, J. Canadian Linguistic Assoc. 5 (1959), 83–89.
-
(1959)
J. Canadian Linguistic Assoc
, vol.5
, pp. 83-89
-
-
Lambek, J.1
-
26
-
-
80054533558
-
On a connection between algebra, logic and linguistics
-
J. Lambek, On a connection between algebra, logic and linguistics, Diagrammes 22 (1989), 59–75.
-
(1989)
Diagrammes
, vol.22
, pp. 59-75
-
-
Lambek, J.1
-
27
-
-
84949544694
-
Grammar as mathematics, Can
-
J. Lambek, Grammar as mathematics, Can. Math. Bull. 32 (1989), 257–273.
-
(1989)
Math. Bull
, vol.32
, pp. 257-273
-
-
Lambek, J.1
-
28
-
-
84949545815
-
Production grammars revisited
-
J. Lambek, Production grammars revisited, Linguistic Analysis 23 (1993), 205–225.
-
(1993)
Linguistic Analysis
, vol.23
, pp. 205-225
-
-
Lambek, J.1
-
30
-
-
0011143884
-
Some lattice models of bilinear logic
-
J. Lambek, Some lattice models of bilinear logic, Algebra Universalis 34 (1995), 541–550.
-
(1995)
Algebra Universalis
, vol.34
, pp. 541-550
-
-
Lambek, J.1
-
31
-
-
27544486846
-
On the nominalistic interpretation of natural languages
-
M. Marion et al., Kluwer, Dordrecht
-
J. Lambek, On the nominalistic interpretation of natural languages, in: M. Marion et al. (eds), Québec Studies in Philosophy of Science I, 69-74, Kluwer, Dordrecht 1995.
-
(1995)
Québec Studies in Philosophy of Science I
, pp. 69-74
-
-
Lambek, J.1
-
32
-
-
84949601836
-
Bilinear logic and Grishin algebras
-
E. Orlowska (editor), Essays dedicated to the memory of Helena Rasiowa, Kluwer, Dordrecht, to appear
-
J. Lambek, Bilinear logic and Grishin algebras in: E. Orlowska (editor), Logic at work, Essays dedicated to the memory of Helena Rasiowa, Kluwer, Dordrecht, to appear.
-
Logic at Work
-
-
Lambek, J.1
-
39
-
-
0027225009
-
Lambek grammars are context free
-
M. Pentus, Lambek grammars are context free, Proc. 8th LICS conference (1993), 429–433.
-
(1993)
Proc. 8Th LICS Conference
, pp. 429-433
-
-
Pentus, M.1
-
40
-
-
0012132975
-
Models for the Lambek calculus
-
M. Pentus, Models for the Lambek calculus, Annals Pure & Applied Logic 75 (1995), 179–213.
-
(1995)
Annals Pure & Applied Logic
, vol.75
, pp. 179-213
-
-
Pentus, M.1
|