Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Normal_form_(natural_deduction)> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Normal_form_(natural_deduction) abstract "An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule.".
- Normal_form_(natural_deduction) wikiPageID "1105069".
- Normal_form_(natural_deduction) wikiPageRevisionID "532304588".
- Normal_form_(natural_deduction) auto "yes".
- Normal_form_(natural_deduction) date "December 2009".
- Normal_form_(natural_deduction) hasPhotoCollection Normal_form_(natural_deduction).
- Normal_form_(natural_deduction) subject Category:Logic.
- Normal_form_(natural_deduction) comment "An inference of natural deduction is a normal form, according to Dag Prawitz, if no formula occurrence is both the principal premise of an elimination rule and the conclusion of an introduction rule.".
- Normal_form_(natural_deduction) label "Normal form (natural deduction)".
- Normal_form_(natural_deduction) sameAs m.046czz.
- Normal_form_(natural_deduction) sameAs Q7051808.
- Normal_form_(natural_deduction) sameAs Q7051808.
- Normal_form_(natural_deduction) wasDerivedFrom Normal_form_(natural_deduction)?oldid=532304588.
- Normal_form_(natural_deduction) isPrimaryTopicOf Normal_form_(natural_deduction).