Videos Semantics 1

Predicate logic

Formal model:

Atomic formulae: computing the truth value

Complex formulae: computing the truth value

Complex formulae: computing the truth value

Complex formulae: truth table

Logical determiners:

Syntax (HPSG)

Basic steps in a syntactic analysis:

Tree terminology:

Lexical entries:

HPSG analysis:

 

Syntax-semantic interface: Lexical Resource Semantics

Basic Lexical Resource Semantics:

Linking: