About: Deductive closure

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

Principle in logic

Property	Value
dbo:description	principle in logic (en)
dbo:wikiPageWikiLink	dbc:Propositional_calculus dbc:Set_theory dbr:Closure_(mathematics) dbc:Deductive_reasoning dbr:Logical_consequence dbr:Propositional_calculus dbr:Proposition dbr:Deductive_reasoning dbr:Well-formed_formula dbc:Concepts_in_logic dbr:Belief dbr:Epistemology dbr:Knowledge dbr:Superset dbc:Logical_consequence dbr:Mathematical_logic dbr:Theory_(mathematical_logic) dbr:Theory_of_justification
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:Citation_needed dbt:Mathlogic-stub dbt:Tmath dbt:Short_description
dct:subject	dbc:Propositional_calculus dbc:Set_theory dbc:Deductive_reasoning dbc:Concepts_in_logic dbc:Logical_consequence
rdfs:label	Deductive closure (en) Chiusura deduttiva (it) Fecho dedutivo (pt) Deductieve afsluiting (nl)
owl:sameAs	yago-res:Deductive closure freebase:Deductive closure wikidata:Deductive closure dbpedia-it:Deductive closure dbpedia-nl:Deductive closure dbpedia-pt:Deductive closure dbpedia-global:Deductive closure dbr:Deductive closure
prov:wasDerivedFrom	wikipedia-en:Deductive_closure?oldid=1293640418&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Deductive_closure
is dbo:notableIdea of	dbr:Robert_Nozick
is dbo:wikiPageDisambiguates of	dbr:Closure
is dbo:wikiPageRedirects of	dbr:Deductive_closure_principle dbr:Closure_(logic)
is dbo:wikiPageWikiLink of	dbr:Cyc dbr:Index_of_philosophy_articles_(D–H) dbr:Belief_revision dbr:Decidability_(logic) dbr:Classical_modal_logic dbr:Craig's_theorem dbr:The_Cock_and_the_Jasp dbr:Transitive_closure dbr:Doxastic_logic dbr:Index_of_epistemology_articles dbr:Index_of_logic_articles dbr:Closure dbr:Robert_Nozick dbr:Outline_of_logic dbr:Interior_algebra dbr:Deductive_closure_principle dbr:Closure_(logic)
is foaf:primaryTopic of	wikipedia-en:Deductive_closure