Semantics

Semantics tell us about meaning. About how to interpret terms and their operators.

We present the semantics of terms in 5 different (but equivalent) ways: one explanation in terms of logic, one in set theory, one in terms of axioms (algebraically), one in natural language, and one visual explanation. These ways are equivalent, so you can interpret a term in any of the presented ways. Any way will do; take your pick!

Category

Logic

Sets

Axioms

Natural Language

Visual

primitive terms

axioms

visual

boolean

relational

residual

sets

axioms

products

logic

sets

axioms

natural language

visual

(the pages without hyperlinks are yet to be made).

Last updated