Natural deduction - CaLiGraph

Property	Value
rdf:type	Method of proof owl:NamedIndividual Functional programming topic Multiple discovery
rdfs:label	Natural deduction
owl:sameAs	dbr:Natural_deduction
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/John_Mueller_Anderson http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q) http://en.wikipedia.org/wiki/Proof_theory http://en.wikipedia.org/wiki/Propositional_proof_system http://en.wikipedia.org/wiki/Sequent_calculus http://en.wikipedia.org/wiki/List_of_functional_programming_topics http://en.wikipedia.org/wiki/List_of_multiple_discoveries http://en.wikipedia.org/wiki/Outline_of_software_engineering http://en.wikipedia.org/wiki/Category:Methods_of_proof
skos:prefLabel	Natural deduction
skos:altLabel	assumption judgment judgments deduction normal forms Deduction deductive Natural deduction#Introduction and elimination Natural deduction#Proofs_and_type_theory classical natural deduction introduction and elimination rules introduction rule introduction rules and elimination rules natural deduction natural deductive rule of assumption traditional deductive

About: clgr:Natural_deduction