Fred Landman

  • Department of Linguistics
  • Tel Aviv University

Online Class Notes

Quantification and Modality

  1. Quantification
  2. Modality

Advanced Semantics

  1. Modeltheoretic Semantics
  2. Functional Type Theory
  3. Lambda-Abstraction
  4. Backward λ-Conversion and Cross-Categorial Connectives
  5. Intensional Type Logic
  6. Montague Grammar and Type Shifting
  7. Scope Ambiguities, Movement and Binding
  8. Intensional Verbs; Connectives
  9. Predicates and Properties
  10. Defining in Type Logic All Logical Operations in Terms of Application, Abstraction, and Identity

Computational Linguistics

  1. Regular Grammars
  2. Context Free Grammars
  3. Semilinear Grammars
  4. Tree Adjoining Grammars
  5. Semantics automata

Boolean Additions to Structures for Semantics

  1. Linear orders, discrete, dense and continuous
  2. Distributive lattices
  3. Finite Boolean algebras
  4. Chain-generated Boolean algebras
  5. Completions and pseudocomplemented latttices
  6. Atomless Boolean algebras and algebras of solids

VARIA

  1. Errata for Structures for Semantics
  2. Genesis