Site Navigation
Categories:
Philosophy of language
Semantics
Formal languages
Sentential logic
Model theory
All articles with unsourced statements
Articles with unsourced statements since May 2008
Summary Of: Interpretation (logic)
Encyclodia Page On: Interpretation (logic)
These Are Links To Other Documents
Interpretation (disambiguation)
|
logic
|
formal language
|
sentence
|
non-logical symbol
|
properties
|
sets
|
truth-values
|
identity relation
|
meaning
|
semantic values
|
formulae
|
formal semantics
|
mathematical logic
|
citation needed
|
First-order logic
|
sentential (or propositional) calculus
|
the first order predicate calculus
|
structure
|
model
|
true
|
signature
|
structure
|
mathematical logic
|
assignment
|
formal language
|
Mathematical logic
|
Model theory
|
signature
|
extensional
|
intensional
|
propositional logic
|
truth-values
|
first-order logic
|
structure
|
signature
|
prenex normal form
|
first-order
|
non-logical symbols
|
signature
|
domain of discourse
|
structure
|
propositional variables
|
range
|
variables
|
cardinality
|
T-schema
|
Löwenheim-Skolem theorem
|
denumerably infinite
|
Peano arithmetic
|
natural numbers
|
isomorphic
|
Peano axioms
|
non-standard models of the Peano axioms
|
First-order logic
|
Formal interpretation
|
Formal interpretations of formal languages
|
Formal semantics
|
Herbrand interpretation
|
Interpretation (model theory)
|
Logical system
|
Löwenheim-Skolem theorem
|
Modal logic
|
Model (abstract)
|
Model theory
|
Satisfiable
|
Structure (mathematical logic)
|
Valuation (mathematics)
|
The Cambridge Dictionary of Philosophy
|
ISBN 0-521-63722-8
|
MR
|
ISSN
|
MR
|
ISSN
|
Oxford University Press
|
ISBN 019501491X
|
Categories
|
Philosophy of language
|
Semantics
|
Formal languages
|
Sentential logic
|
Model theory
|
All articles with unsourced statements
|
Articles with unsourced statements since May 2008
|
This article is licensed under the
GNU Free Documentation License
. It uses material from the
Wikipedia article "Interpretation (logic)"
.
