- (1 other version)Logic, Language, and Meaning, Volume 1: Introduction to Logic.L. T. F. Gamut - 1990 - Chicago, IL, USA: University of Chicago Press.details
|
|
Fragments of language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.details
|
|
(1 other version)Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.details
|
|
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.details
|
|
Meaning: Interpretation and Inference.Johan van Benthem - 1987 - Synthese 73 (3):451-470.details
|
|
(2 other versions)Boolean Semantics for Natural Language.Lawrence S. Moss - 1987 - Journal of Symbolic Logic 52 (2):554-555.details
|
|
Language and Information.Yehoshua Bar-Hillel - 1965 - Journal of Symbolic Logic 30 (3):382-385.details
|
|
(1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.details
|
|
Boolean Semantics for Natural Language.Edward L. Keenan & Leonard M. Faltz - 1987 - Studia Logica 46 (4):401-404.details
|
|
A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.details
|
|
Logic, Language, and Meaning.L. T. F. Gamut - 1992 - Studia Logica 51 (1):147-149.details
|
|
Order-Based Inference in Natural Logic.Yaroslav Fyodorov, Yoad Winter & Nissim Francez - 2003 - Logic Journal of the IGPL 11 (4):385-416.details
|
|
Meaning: Interpretation and inference.Johan Benthem - 1987 - Synthese 73 (3):451 - 470.details
|
|
The Logic of Information Structures.H. Wansing - 1993details
|
|