About: Diagram (mathematical logic)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Given a model of a theory over a 1st-order language, the set of atomic sententences and negations thereof of that hold in the model, when the language is extended with constant symbols for each element in the domain in the model

Property Value
dbo:description
  • given a model of a theory over a 1st-order language, the set of atomic sententences and negations thereof of that hold in the model, when the language is extended with constant symbols for each element in the domain in the model (en)
  • Menge von Aussagen in der mathematischen Logik (de)
  • pri modelo de teorio super 1a-orda lingvo, la aro de atomaj propozicioj kaj negacioj de atomaj propozicioj, kiuj estsa veraj, se la lingvo estas etenditaj per la aldono de simboloj respondantaj al ĉiuj elementoj en la modelo (eo)
  • دیاگرام (منطق ریاضی):در مدل تئوری، دیاگرامِ (Diagram) یک ساختار، مفهومی ساده و در عین حال قوی برای اثبات ويژگی‌های مفید یک تئوری است. برای مثال، ويژگی ادغام (amalgamation property) و نیز ويژگی تعبیه متصل (joint embedding property). (fa)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Diagram (mathematical logic) (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International