interpretation
Sign in to saveAlso known as semantic interpretation, interpretation of a formal language
assignment of meaning to the symbols of a formal language
Connections
formal system
Entity
rule of inference
Entity
structure
Entity
semantic theory of truth
Entity
mathematical logic
Entity
isomorphism
Entity
propositional calculus
Entity
proposition
Entity
Peano axioms
Entity
first-order logic
Entity
alphabet
Entity
predicate
Entity
recursive set
Entity
well-formed formula
Entity
semantics of logic
Entity
elementary equivalence
Entity
signature
Entity
free and bound variables
Entity
propositional formula
Entity
satisfiability
Entity