Semantics

Idea

Semantics is the interpretation of the syntax of a theory in a model.

See a separate page for semantics of a programming language.

Examples

Categorical semantics of dependent type theory

Notably the semantics of type theories is given by categories. For instance

For more on this see at categorical semantics and at relation between type theory and category theory.

category: logic

Revised on February 16, 2016 11:39:32 by Zoran Škoda (161.53.130.104)