DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Natural_deduction> ?p ?o }

• Natural_deduction abstract "In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with the axiomatic systems which instead use axioms as much as possible to express the logical laws of deductive reasoning.".
• Natural_deduction wikiPageExternalLink martinlof4.pdf.
• Natural_deduction wikiPageExternalLink Proofs+Types.html.
• Natural_deduction wikiPageExternalLink ?PPN=GDZPPN002375508.
• Natural_deduction wikiPageExternalLink DN.
• Natural_deduction wikiPageExternalLink mscs00.pdf.
• Natural_deduction wikiPageExternalLink dn.en.pdf.
• Natural_deduction wikiPageExternalLink pelletierNDtexts.pdf.
• Natural_deduction wikiPageExternalLink domino.
• Natural_deduction wikiPageExternalLink id668667064.
• Natural_deduction wikiPageID "51072".
• Natural_deduction wikiPageLength "52939".
• Natural_deduction wikiPageOutDegree "109".
• Natural_deduction wikiPageRevisionID "665869249".
• Natural_deduction wikiPageWikiLink Alfred_North_Whitehead.
• Natural_deduction wikiPageWikiLink Analytic_tableau.
• Natural_deduction wikiPageWikiLink Arend_Heyting.
• Natural_deduction wikiPageWikiLink Axiom.
• Natural_deduction wikiPageWikiLink Axiomatic_system.
• Natural_deduction wikiPageWikiLink Bertrand_Russell.
• Natural_deduction wikiPageWikiLink Calculus_of_constructions.
• Natural_deduction wikiPageWikiLink Call-with-current-continuation.
• Natural_deduction wikiPageWikiLink Callcc.
• Natural_deduction wikiPageWikiLink Category:Deductive_reasoning.
• Natural_deduction wikiPageWikiLink Category:Logical_calculi.
• Natural_deduction wikiPageWikiLink Category:Methods_of_proof.
• Natural_deduction wikiPageWikiLink Category:Proof_theory.
• Natural_deduction wikiPageWikiLink Classical_logic.
• Natural_deduction wikiPageWikiLink Countable.
• Natural_deduction wikiPageWikiLink Countable_set.
• Natural_deduction wikiPageWikiLink Curry–Howard_correspondence.
• Natural_deduction wikiPageWikiLink Curry–Howard_isomorphism.
• Natural_deduction wikiPageWikiLink Cut-elimination_theorem.
• Natural_deduction wikiPageWikiLink Cut_elimination.
• Natural_deduction wikiPageWikiLink Cut_elimination_theorem.
• Natural_deduction wikiPageWikiLink Dag_Prawitz.
• Natural_deduction wikiPageWikiLink David_Hilbert.
• Natural_deduction wikiPageWikiLink Decidability_(logic).
• Natural_deduction wikiPageWikiLink Deductive_reasoning.
• Natural_deduction wikiPageWikiLink Dependent_type.
• Natural_deduction wikiPageWikiLink Dependent_type_theory.
• Natural_deduction wikiPageWikiLink Display_logic.
• Natural_deduction wikiPageWikiLink Excluded_middle.
• Natural_deduction wikiPageWikiLink Extensional_type_theory.
• Natural_deduction wikiPageWikiLink First_class_control.
• Natural_deduction wikiPageWikiLink Fitch-style_calculus.
• Natural_deduction wikiPageWikiLink Fitch_notation.
• Natural_deduction wikiPageWikiLink Gerhard_Gentzen.
• Natural_deduction wikiPageWikiLink Gottlob_Frege.
• Natural_deduction wikiPageWikiLink Henk_Barendregt.
• Natural_deduction wikiPageWikiLink Hilbert_system.
• Natural_deduction wikiPageWikiLink Hybrid_logic.
• Natural_deduction wikiPageWikiLink Hypersequent.
• Natural_deduction wikiPageWikiLink Inference_rule.
• Natural_deduction wikiPageWikiLink Inference_rules.
• Natural_deduction wikiPageWikiLink Intensional_type_theory.
• Natural_deduction wikiPageWikiLink Intuitionistic_logic.
• Natural_deduction wikiPageWikiLink Intuitionistic_type_theory.
• Natural_deduction wikiPageWikiLink Jan_Lukasiewicz.
• Natural_deduction wikiPageWikiLink Jan_Łukasiewicz.
• Natural_deduction wikiPageWikiLink John_Lemmon.
• Natural_deduction wikiPageWikiLink Judgment_(mathematical_logic).
• Natural_deduction wikiPageWikiLink LF_(logical_framework).
• Natural_deduction wikiPageWikiLink LISP.
• Natural_deduction wikiPageWikiLink Labelled_deduction.
• Natural_deduction wikiPageWikiLink Lambda-mu_calculus.
• Natural_deduction wikiPageWikiLink Lambda_calculus.
• Natural_deduction wikiPageWikiLink Lambda_cube.
• Natural_deduction wikiPageWikiLink Law_of_excluded_middle.
• Natural_deduction wikiPageWikiLink Linear_logic.
• Natural_deduction wikiPageWikiLink Lisp_(programming_language).
• Natural_deduction wikiPageWikiLink List_of_rules_of_inference.
• Natural_deduction wikiPageWikiLink Logic.
• Natural_deduction wikiPageWikiLink Logical_framework.
• Natural_deduction wikiPageWikiLink Logical_reasoning.
• Natural_deduction wikiPageWikiLink Mathematical_induction.
• Natural_deduction wikiPageWikiLink Mathematical_logic.
• Natural_deduction wikiPageWikiLink Meta-theorem.
• Natural_deduction wikiPageWikiLink Metatheorem.
• Natural_deduction wikiPageWikiLink Method_of_analytic_tableaux.
• Natural_deduction wikiPageWikiLink Michel_Parigot.
• Natural_deduction wikiPageWikiLink Modal_logic.
• Natural_deduction wikiPageWikiLink Model_theory.
• Natural_deduction wikiPageWikiLink Nordic_Journal_of_Philosophical_Logic.
• Natural_deduction wikiPageWikiLink Patrick_Suppes.
• Natural_deduction wikiPageWikiLink Per_Martin-Löf.
• Natural_deduction wikiPageWikiLink Predicate_logic.
• Natural_deduction wikiPageWikiLink Principia_Mathematica.
• Natural_deduction wikiPageWikiLink Programming_language.
• Natural_deduction wikiPageWikiLink Proof_calculus.
• Natural_deduction wikiPageWikiLink Proof_theory.
• Natural_deduction wikiPageWikiLink Proposition.
• Natural_deduction wikiPageWikiLink Rule_of_inference.
• Natural_deduction wikiPageWikiLink Second-order_logic.
• Natural_deduction wikiPageWikiLink Sequent.
• Natural_deduction wikiPageWikiLink Sequent_calculus.
• Natural_deduction wikiPageWikiLink Stanisław_Jaśkowski.
• Natural_deduction wikiPageWikiLink Stephen_Cole_Kleene.
• Natural_deduction wikiPageWikiLink Structural_proof_theory.
• Natural_deduction wikiPageWikiLink Structural_rule.

• next