- Clausal Proofs and Discontinuity.Glyn Morrill - 1995 - Logic Journal of the IGPL 3 (2-3):403-427.details
|
|
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.details
|
|
Generalized Phrase Structure Grammar.Gerald Gazdar, Ewan Klein, Geoffrey Pullum & Ivan Sag - 1989 - Philosophical Review 98 (4):556-566.details
|
|
Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.details
|
|
Bound variables in syntax (Are there any?).Anna Szabolcsi - 1987 - In J. Groenendijk, F. Veltman & M. Stokhof (eds.), Sixth Amsterdam Colloquium Proceedings. Univ of Amserdam.details
|
|
Discontinous Constituents in Generalized Categorial Grammar.Emmon W. Bach - unknowndetails
|
|
Symbolic logic.Frederic Brenton Fitch - 1952 - New York,: Ronald Press Co..details
|
|
The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Labelled deductive systems.Dov M. Gabbay - 1996 - New York: Oxford University Press.details
|
|
Symbolic Logic.Atwell R. Turquette & Frederic Brenton Fitch - 1953 - Philosophical Review 62 (4):617.details
|
|
Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1-5):13-28.details
|
|
Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):215-224.details
|
|
Introduction to Combinators and λ-Calculus.J. Roger Hindley & Jonathan P. Seldin - 1988 - Journal of Symbolic Logic 53 (3):985-986.details
|
|
Symbolic Logic; an Introduction. [REVIEW]Hao Wang - 1953 - Journal of Philosophy 50 (4):129-134.details
|
|
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.details
|
|
The Proper Theory of Quantification.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht.details
|
|
Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Mathematical Logic Quarterly 27 (13‐14):215-224.details
|
|
Completeness Results for Lambek Syntactic Calculus.Wojciech Buszkowski - 1986 - Mathematical Logic Quarterly 32 (1‐5):13-28.details
|
|
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.details
|
|
Tree models and (labeled) categorial grammar.Yde Venema - 1996 - Journal of Logic, Language and Information 5 (3-4):253-277.details
|
|
Coreference and bound anaphora: A restatement of the anaphora questions. [REVIEW]Tanya Reinhart - 1983 - Linguistics and Philosophy 6 (1):47 - 88.details
|
|
Intensionality and boundedness.Glyn Morrill - 1990 - Linguistics and Philosophy 13 (6):699 - 726.details
|
|
In defense of passive.Emmon W. Bach - 1979 - Linguistics and Philosophy 3 (3):297 - 341.details
|
|