Example image of eyePlorer eyePlorer map for 'Interpretation (logic)': Symbol (formal) Formal language Logic Mathematics Syntax Theoretical computer science Formal semantics Predicate logic Propositional calculus Extension (predicate logic) Function (mathematics) Sentence (mathematical logic) Truth value Structure (mathematical logic) Theory (mathematical logic) Well-formed formula Alphabet (computer science) Logical constant Logical connective Satisfiability and validity Consistency Logical consequence Non-logical symbol Truthbearer Signature (logic) Arity Ring (mathematics) Domain of discourse Free variables and bound variables T-schema Range (mathematics) Propositional variable Extensional definition Intensional definition Second-order arithmetic Set theory Elementary equivalence Equivalence relation Löwenheim–Skolem theorem Euclidean geometry Higher-order logic Intuitionistic logic Non-classical logic Boolean-valued model Kripke semantics Modal logic Peano axioms Isomorphism Interpretation (model theory) Extension by definitions