Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Fragment_(logic)> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Fragment_(logic) abstract "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 logical fragment can be no higher than the same tasks in the original logic, as there is a reduction from the first problem to the other. An important problem in computational logic is to determine fragments of well-known logics such as first-order logic which are as expressive as possible yet are decidable or more strongly have low computational complexity. The field of descriptive complexity theory aims at establishing a link between logics and computational complexity theory, by identifying logical fragments that exactly capture certain complexity classes.".
- Fragment_(logic) wikiPageID "43571557".
- Fragment_(logic) wikiPageLength "1969".
- Fragment_(logic) wikiPageOutDegree "14".
- Fragment_(logic) wikiPageRevisionID "662182538".
- Fragment_(logic) wikiPageWikiLink Category:Mathematical_logic.
- Fragment_(logic) wikiPageWikiLink Complexity_class.
- Fragment_(logic) wikiPageWikiLink Computational_complexity_theory.
- Fragment_(logic) wikiPageWikiLink Computational_logic.
- Fragment_(logic) wikiPageWikiLink Descriptive_complexity_theory.
- Fragment_(logic) wikiPageWikiLink First-order_logic.
- Fragment_(logic) wikiPageWikiLink Mathematical_logic.
- Fragment_(logic) wikiPageWikiLink Model_checking.
- Fragment_(logic) wikiPageWikiLink Reduction_(complexity).
- Fragment_(logic) wikiPageWikiLink Satisfiability.
- Fragment_(logic) wikiPageWikiLink Syntax.
- Fragment_(logic) wikiPageWikiLink Theory_(mathematical_logic).
- Fragment_(logic) wikiPageWikiLink Well-formed_formula.
- Fragment_(logic) wikiPageWikiLinkText "Fragment (logic)".
- Fragment_(logic) wikiPageWikiLinkText "fragment (logic)".
- Fragment_(logic) wikiPageWikiLinkText "fragment".
- Fragment_(logic) wikiPageWikiLinkText "fragments".
- Fragment_(logic) hasPhotoCollection Fragment_(logic).
- Fragment_(logic) wikiPageUsesTemplate Template:Logic-stub.
- Fragment_(logic) wikiPageUsesTemplate Template:Reflist.
- Fragment_(logic) subject Category:Mathematical_logic.
- Fragment_(logic) hypernym Subset.
- Fragment_(logic) type Software.
- Fragment_(logic) comment "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.".
- Fragment_(logic) label "Fragment (logic)".
- Fragment_(logic) sameAs m.011py_ty.
- Fragment_(logic) sameAs Q18392052.
- Fragment_(logic) sameAs Q18392052.
- Fragment_(logic) wasDerivedFrom Fragment_(logic)?oldid=662182538.
- Fragment_(logic) isPrimaryTopicOf Fragment_(logic).