Fragment (logic)
id:
fragment-logic-260-6174087
title:
Fragment (logic)
text:
In mathematical logic, a fragment of a logical language or theory is a subset of this logical language obtained by imposing syntactical restrictions on the language. Hence, the well-formed formulae of the fragment are a subset of those in the original logic. However, the semantics of the formulae in the fragment and in the logic coincide, and any formula of the fragment can be expressed in the original logic. The computational complexity of tasks such as satisfiability or model checking for the
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Fragment_(logic)
date created:
date modified:
2017-01-25T23:24:27Z
main entity:
{"identifier":"Q18392052","url":"https://www.wikidata.org/entity/Q18392052"}
image:
fields total:
13
integrity:
13