Cover Image

Language in action : categories, lambdas, and dynamic logic /

Show other versions (1)

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and...

Full description

Bibliographic Details
Main Author: Benthem, Johan van, 1949-
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Language Notes:English.
Published: Amsterdam ; New York : New York, N.Y., U.S.A. : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
Series:Studies in logic and the foundations of mathematics ; v. 130.
Subjects:
Language and logic.
Categorial grammar.
Lambda calculus.
Logic, Symbolic and mathematical.
Mathematical linguistics.
Langage et logique.
Grammaire catégorielle.
Lambda-calcul.
Logique symbolique et mathématique.
Linguistique mathématique.
LANGUAGE ARTS & DISCIPLINES > Grammar & Punctuation.
LANGUAGE ARTS & DISCIPLINES > Linguistics > Syntax.
Categorial grammar
Lambda calculus
Language and logic
Logic, Symbolic and mathematical
Mathematical linguistics
Grammar
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: P39 .B46 1991
 
Call Number Status Get It
P39 .B46 1991 Available