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