About: Abstract logic

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

Formal system in mathematical logic

Property	Value
dbo:description	formal system in mathematical logic (en)
dbo:wikiPageWikiLink	dbr:First-order_logic dbr:Formal_system dbr:Sentence_(mathematical_logic) dbc:Mathematical_logic dbr:Satisfaction_relation dbr:Mathematical_logic dbr:Löwenheim_number dbr:Countably_compact dbr:Per_Lindström_(logician)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Other_uses dbt:Mathlogic-stub dbt:Mathematical_logic dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Mathematical_logic
gold:hypernym	dbr:System
rdfs:label	Abstract logic (en) Abstracte logica (nl)
owl:sameAs	freebase:Abstract logic wikidata:Abstract logic dbpedia-nl:Abstract logic dbpedia-tr:Abstract logic dbpedia-global:Abstract logic
prov:wasDerivedFrom	wikipedia-en:Abstract_logic?oldid=1242710746&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Abstract_logic
is dbo:wikiPageDisambiguates of	dbr:Abstract_logic_(disambiguation)
is dbo:wikiPageWikiLink of	dbr:Löwenheim–Skolem_theorem dbr:Abstract_logic_(disambiguation) dbr:Abstraction_(mathematics) dbr:Lindström's_theorem dbr:Strength_(mathematical_logic) dbr:Löwenheim_number dbr:Trilobyte_(company)
is foaf:primaryTopic of	wikipedia-en:Abstract_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International