About: Multiple-conclusion logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Mathematical logic

Property	Value
dbo:description	mathematical logic (en)
dbo:wikiPageWikiLink	dbr:Sequent_calculus dbr:Set_(mathematics) dbr:Logical_consequence dbr:Timothy_Smiley dbr:Sentence_(mathematical_logic) dbc:Logic dbr:Logician dbr:Asymmetry dbr:Relation_(mathematics) dbr:D._J._Shoesmith dbr:Proposition_(mathematics)
dbp:wikiPageUsesTemplate	dbt:Logic-stub dbt:Short_description
dct:subject	dbc:Logic
rdfs:label	Multiple-conclusion logic (en)
owl:sameAs	freebase:Multiple-conclusion logic wikidata:Multiple-conclusion logic dbpedia-global:Multiple-conclusion logic dbr:Multiple-conclusion logic
prov:wasDerivedFrom	wikipedia-en:Multiple-conclusion_logic?oldid=1221302656&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Multiple-conclusion_logic
is dbo:wikiPageWikiLink of	dbr:Rule_of_inference dbr:Timothy_Smiley dbr:Index_of_philosophy_articles_(I–Q) dbr:Index_of_logic_articles
is foaf:primaryTopic of	wikipedia-en:Multiple-conclusion_logic

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