- An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.details
|
|
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..details
|
|
(3 other versions)Combinatory Logic.J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.details
|
|
(1 other version)Formal Philosophy: Selected Papers of Richard Montague.Richmond H. Thomason & Richard Montague - 1976 - Foundations of Language 14 (3):413-418.details
|
|
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1978 - British Journal for the Philosophy of Science 29 (2):197-201.details
|
|
(1 other version)First-Order, Curry-Typed Logic for Natural Language Semantics.Chris Fox, Shalom Lappin & Carl Pollard - unknowndetails
|
|
(1 other version)First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknowndetails
|
|
Beyond the Frege boundary.Edward L. Keenan - 1992 - Linguistics and Philosophy 15 (2):199-221.details
|
|
Formal Philosophy. Selected Papers of Richard Montague.Richard Montague & Richmond H. Thomason - 1975 - Erkenntnis 9 (2):252-286.details
|
|
Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.Shalom Lappin & C. Fox - unknowndetails
|
|
Quantifiers, anaphora, and intensionality.Mary Dalrymple, John Lamping, Fernando Pereira & Vijay Saraswat - 1997 - Journal of Logic, Language and Information 6 (3):219-273.details
|
|
(1 other version)Patrick Blackburn and Johan Bos, Representation and Inference for Natural Language: CSLI Publications, Stanford 2005, pp. xi+348, US$ 30.00, ISBN 1-57586-496-7 (paperback). [REVIEW]Anders Søgaard - 2007 - Studia Logica 85 (3):413-418.details
|
|
Quantification and Syntactic Theory.R. Cooper & Roger Cooper - 1983 - Dordrecht: Reidel.details
|
|
Intensional first-order logic with types.Shalom Lappin - unknowndetails
|
|