ab 24,90 

Jørgen Villadsen

A linguistic system based on type theory

ISBN 978-3-8258-9275-3
Band-Nr. 3
Jahr 2010
Seiten 232
Bindung broschiert
Reihe Grundlagen der Kommunikation und Kognition (N.F.)/


More than three decades ago Richard Montague presented a formal description of the syntax and semantics of a fragment of English that included verbs, nouns, negation, coordination and quantification as well as propositional attitudes like assertion, knowledge and belief. Nabla improves the syntactical part of this approach by following modern lexicalist trends and, most importantly, enriches the type system underlying the semantics by several innovations. By this it meets the current on-going debate about extensions of type theory recently discussed in computer science, logic and linguistics