Interpretation (logic)
id:
interpretation-logic-180-4386974
title:
Interpretation (logic)
text:
An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics. The most commonly studied formal logics are propositional logic, predicate logic and their modal analogs, and for these there are st
brand slug:
wiki
category slug:
encyclopedia
description:
Assignment of meaning to the symbols of a formal language
original url:
https://en.wikipedia.org/wiki/Interpretation_(logic)
date created:
2007-12-01T15:06:01Z
date modified:
2024-09-05T10:04:40Z
main entity:
{"identifier":"Q523607","url":"https://www.wikidata.org/entity/Q523607"}
image:
fields total:
13
integrity:
15