What are semantics of propositional logic, semantics of type theor