About: Natural deduction

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

Kind of proof calculus

Property	Value
dbo:description	beviskalkyl (sv) kind of proof calculus (en) système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner (fr) نوعی حساب اثباتی (fa) Kalküls der mathematischen und der philosophischen Logik (de)
dbo:thumbnail	wiki-commons:Special:FilePath/First_order_natural_deduction.png?width=300
dbo:wikiPageExternalLink	https://web.archive.org/web/20160704202340/http:/www.cs.man.ac.uk/~pt/stable/Proofs+Types.html http://teachinglogic.univ-grenoble-alpes.fr/DN1/ http://www.danielclemente.com/logica/dn.en.pdf http://www.winterdrache.de/freeware/domino/ https://archive.org/details/naturaldeduction0000praw%7Curl-access=registration%7Cseries=Acta http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375508 http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002375605%7Cdoi=10.1007/bf01201363%7Cs2cid=186239837 https://www.sfu.ca/~jeffpell/papers/pelletierNDtexts.pdf http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html http://www-2.cs.cmu.edu/~fp/papers/mscs00.pdf http://docenti.lett.unisi.it/files/4/1/1/6/martinlof4.pdf https://www.era.lib.ed.ac.uk/bitstream/handle/1842/407/ECS-LFCS-94-308.PDF%3Fsequence=2&isAllowed=y
dbo:wikiPageWikiLink	dbr:Predicate_(mathematical_logic) dbr:Michel_Parigot dbr:Classical_logic dbr:Gerhard_Gentzen dbr:Gottlob_Frege dbr:S5_(modal_logic) dbr:Sequent_calculus dbr:Henk_Barendregt dbr:Parametric_polymorphism dbr:Lambda_calculus dbc:Methods_of_proof dbr:Quantifier_(logic) dbr:Arend_Heyting dbr:Per_Martin-Löf dbc:Proof_theory dbr:Number_theory dbr:Bertrand_Russell dbr:First-order_logic dbr:Principia_Mathematica dbr:Turnstile_(symbol) dbc:Deductive_reasoning dbr:Decidability_(logic) dbr:Atomic_formula dbc:Logical_calculi dbr:Proof_theory dbr:Type_theory dbr:Function_type dbr:Proposition dbr:Deductive_reasoning dbr:Computer-assisted_proof dbr:Normal_form_(abstract_rewriting) dbr:Logic dbr:Modal_logic dbr:Term_(logic) dbr:Linear_logic dbr:Substructural_logic dbr:Logical_reasoning dbr:Product_type dbr:Proof_calculus dbr:Programming_language dbr:Intuitionistic_logic dbr:Mathematical_induction dbr:Lambda-mu_calculus dbr:Axiom dbr:David_Hilbert dbr:Logical_connective dbr:Stephen_Cole_Kleene dbr:University_of_Göttingen dbr:Mathematical_logic dbr:Model_theory dbr:Hilbert_system dbr:John_Lemmon dbr:Judgment_(mathematical_logic) dbr:Sequent dbr:Higher-order_logic dbr:Dag_Prawitz dbr:Disjunction_elimination dbr:Logical_framework dbr:Alfred_North_Whitehead dbr:Stanisław_Jaśkowski dbr:Calculus_of_constructions dbr:Display_logic dbr:Patrick_Suppes dbr:Temporal_logic dbr:Second-order_logic dbr:Argument_map dbr:Lambda_cube dbr:Structural_rule dbr:Normalization_property_(abstract_rewriting) dbr:LF_(logical_framework) dbr:Hybrid_logic dbr:Term_algebra dbr:Hypersequent dbr:Extensional_type_theory dbr:Intensional_type_theory dbr:Theory_(mathematical_logic) dbr:Universal_quantifier dbr:Fitch-style_calculus dbr:System_L dbr:Predicate_logic dbr:LISP dbr:Analytic_tableau dbr:Nordic_Journal_of_Philosophical_Logic dbr:Excluded_middle dbr:Existential_quantifier dbr:Meta-theorem dbr:Predicative_polymorphism dbr:Dependent_type_theory dbr:Jan_Lukasiewicz dbr:Callcc dbr:Curry–Howard_isomorphism dbr:Cut_elimination dbr:Cut_elimination_theorem dbr:Hilbert-style_system dbr:Countable dbr:Implication_introduction dbr:Impredicative_polymorphism dbr:Inference_rule dbr:Inference_rules dbr:S4_(modal_logic) dbr:File:First_order_natural_deduction.png dbr:First_class_control dbr:Labelled_deduction
dbp:includeLink	no (en)
dbp:wikiPageUsesTemplate	dbt:Foundations-footer dbt:Portal dbt:Columns-list dbt:Cite_book dbt:Cite_web dbt:Main dbt:Reflist dbt:Cite_journal dbt:Sfn dbt:Prawitz_Natural_Deduction dbt:Citation dbt:Use_dmy_dates dbt:Unreferenced_section dbt:Cite_thesis dbt:Section_link dbt:Mathematical_logic dbt:Harvnb dbt:Harvtxt dbt:Refn dbt:SEP dbt:Verse_translation dbt:Short_description
dbp:year	2006 (xsd:integer)
dct:subject	dbc:Methods_of_proof dbc:Proof_theory dbc:Deductive_reasoning dbc:Logical_calculi
gold:hypernym	dbr:Kind
rdfs:label	Natural deduction (en) Systeme natürlichen Schließens (de) Deducción natural (es) Déduction naturelle (fr) Deduzione naturale (it) 自然演繹 (ja) 자연 연역 (ko) Natuurlijke deductie (nl) Dedukcja naturalna (pl) Dedução natural (pt) 自然演绎 (zh)
owl:sameAs	freebase:Natural deduction yago-res:Natural deduction wikidata:Natural deduction dbpedia-it:Natural deduction dbpedia-nl:Natural deduction dbpedia-de:Natural deduction dbpedia-fr:Natural deduction dbpedia-zh:Natural deduction dbpedia-ja:Natural deduction dbpedia-pt:Natural deduction dbpedia-es:Natural deduction dbpedia-pl:Natural deduction dbpedia-ko:Natural deduction dbpedia-fi:Natural deduction dbpedia-no:Natural deduction dbpedia-simple:Natural deduction dbpedia-global:Natural deduction dbr:Natural deduction
prov:wasDerivedFrom	wikipedia-en:Natural_deduction?oldid=1294209036&ns=0
foaf:depiction	wiki-commons:Special:FilePath/First_order_natural_deduction.png
foaf:homepage	http://www.cs.miami.edu
foaf:isPrimaryTopicOf	wikipedia-en:Natural_deduction
is dbo:knownFor of	dbr:Stanisław_Jaśkowski
is dbo:wikiPageDisambiguates of	dbr:Deduction
is dbo:wikiPageRedirects of	dbr:Elimination_rule dbr:Natural_deduction_calculus dbr:Natural_deduction_logic dbr:Natural_deduction_system dbr:Natural_deductive_logic dbr:Introduction_rule
is dbo:wikiPageWikiLink of	dbr:Evert_Willem_Beth dbr:Fitch_notation dbr:List_of_functional_programming_topics dbr:Normal_form_(natural_deduction) dbr:Inductive_type dbr:Mercedes_Richards dbr:Gerhard_Gentzen dbr:Sequent_calculus dbr:Monotonicity_of_entailment dbr:Lambda_calculus dbr:Combinatory_categorial_grammar dbr:Rule_of_inference dbr:Minimal_logic dbr:History_of_logic dbr:First-order_logic dbr:Typing_rule dbr:Proof_assistant dbr:Proof_theory dbr:Propositional_calculus dbr:Type_theory dbr:Planner_(programming_language) dbr:Frege_system dbr:Diagrammatic_reasoning dbr:Inductivism dbr:Deductive_reasoning dbr:Curry's_paradox dbr:Gödel's_completeness_theorem dbr:Epigram_(programming_language) dbr:Logic dbr:Set-theoretic_definition_of_natural_numbers dbr:List_of_multiple_discoveries dbr:Quantum_logic dbr:Index_of_philosophy_articles_(I–Q) dbr:Ivan_Orlov_(philosopher) dbr:Index_of_logic_articles dbr:Outline_of_software_engineering dbr:Proof-theoretic_semantics dbr:Proof_calculus dbr:Proof_procedure dbr:Propositional_proof_system dbr:Relevance_logic dbr:Formal_proof dbr:MINLOG dbr:Jape_(software) dbr:Lambda-mu_calculus dbr:Paraconsistent_logic dbr:Intuition dbr:Negation dbr:New_Math dbr:Mathematical_logic dbr:Hilbert_system dbr:Laws_of_Form dbr:Minority_influence dbr:Deduction dbr:History_of_type_theory dbr:Judgment_(mathematical_logic) dbr:Sequent dbr:Proof_net dbr:Dag_Prawitz dbr:Logic_alphabet dbr:Structural_proof_theory dbr:Proof_by_contradiction dbr:Stanisław_Jaśkowski dbr:Simply_typed_lambda_calculus dbr:Timeline_of_Polish_science_and_technology dbr:Curry–Howard_correspondence dbr:Universal_instantiation dbr:Second-order_logic dbr:Argument_map dbr:Predicate_functor_logic dbr:Metamath dbr:Richard_Sylvan dbr:The_Poisoned_Chocolates_Case dbr:Deduction_theorem dbr:Programming_language_theory dbr:Grammatical_Framework dbr:Andrzej_Trybulec dbr:Computability_logic dbr:Lance_Rips dbr:Theory_(mathematical_logic) dbr:Logic:_The_Laws_of_Truth dbr:Geometric_logic dbr:System_L dbr:Elimination_rule dbr:Natural_deduction_calculus dbr:Natural_deduction_logic dbr:Natural_deduction_system dbr:Natural_deductive_logic dbr:Introduction_rule
is dbp:knownFor of	dbr:Stanisław_Jaśkowski
is foaf:primaryTopic of	wikipedia-en:Natural_deduction