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	logic	sets	axioms	natural language	visual
boolean	logic	sets	axioms	natural language	visual
relational	logic	sets	axioms	natural language	visual
residual	logic	sets	axioms	natural language	visual
products	logic	sets	axioms	natural language	visual

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