Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Natural_deduction> }
- Deduction wikiPageDisambiguates Natural_deduction.
- Elimination_rule wikiPageRedirects Natural_deduction.
- Introduction_rule wikiPageRedirects Natural_deduction.
- Natural_deduction_calculus wikiPageRedirects Natural_deduction.
- Natural_deduction_logic wikiPageRedirects Natural_deduction.
- Natural_deduction_system wikiPageRedirects Natural_deduction.
- Natural_deductive_logic wikiPageRedirects Natural_deduction.
- Analytic_proof wikiPageWikiLink Natural_deduction.
- Circular_reasoning wikiPageWikiLink Natural_deduction.
- Combinatory_categorial_grammar wikiPageWikiLink Natural_deduction.
- Currys_paradox wikiPageWikiLink Natural_deduction.
- Curry–Howard_correspondence wikiPageWikiLink Natural_deduction.
- Dag_Prawitz wikiPageWikiLink Natural_deduction.
- Deduction wikiPageWikiLink Natural_deduction.
- Deduction_theorem wikiPageWikiLink Natural_deduction.
- Deductive_reasoning wikiPageWikiLink Natural_deduction.
- Diagrammatic_reasoning wikiPageWikiLink Natural_deduction.
- Drinker_paradox wikiPageWikiLink Natural_deduction.
- Elimination_rule wikiPageWikiLink Natural_deduction.
- Epigram_(programming_language) wikiPageWikiLink Natural_deduction.
- Evert_Willem_Beth wikiPageWikiLink Natural_deduction.
- First-order_logic wikiPageWikiLink Natural_deduction.
- Fitch_notation wikiPageWikiLink Natural_deduction.
- Formal_proof wikiPageWikiLink Natural_deduction.
- Frege_system wikiPageWikiLink Natural_deduction.
- Gerhard_Gentzen wikiPageWikiLink Natural_deduction.
- Grammatical_Framework wikiPageWikiLink Natural_deduction.
- Gxc3xb6dels_completeness_theorem wikiPageWikiLink Natural_deduction.
- Hilbert_system wikiPageWikiLink Natural_deduction.
- History_of_logic wikiPageWikiLink Natural_deduction.
- History_of_type_theory wikiPageWikiLink Natural_deduction.
- Index_of_logic_articles wikiPageWikiLink Natural_deduction.
- Index_of_philosophy_articles_(I–Q) wikiPageWikiLink Natural_deduction.
- Inductivism wikiPageWikiLink Natural_deduction.
- Introduction_rule wikiPageWikiLink Natural_deduction.
- Ivan_Orlov_(philosopher) wikiPageWikiLink Natural_deduction.
- Jape_(software) wikiPageWikiLink Natural_deduction.
- Judgment_(mathematical_logic) wikiPageWikiLink Natural_deduction.
- Lambda-mu_calculus wikiPageWikiLink Natural_deduction.
- Laws_of_Form wikiPageWikiLink Natural_deduction.
- List_of_functional_programming_topics wikiPageWikiLink Natural_deduction.
- List_of_multiple_discoveries wikiPageWikiLink Natural_deduction.
- Logic_alphabet wikiPageWikiLink Natural_deduction.
- Logical_harmony wikiPageWikiLink Natural_deduction.
- MINLOG wikiPageWikiLink Natural_deduction.
- Mathematical_logic wikiPageWikiLink Natural_deduction.
- Metamath wikiPageWikiLink Natural_deduction.
- Minimal_logic wikiPageWikiLink Natural_deduction.
- Minority_influence wikiPageWikiLink Natural_deduction.
- Monotonicity_of_entailment wikiPageWikiLink Natural_deduction.
- Natural_deduction_calculus wikiPageWikiLink Natural_deduction.
- Natural_deduction_logic wikiPageWikiLink Natural_deduction.
- Natural_deduction_system wikiPageWikiLink Natural_deduction.
- Natural_deductive_logic wikiPageWikiLink Natural_deduction.
- Negation wikiPageWikiLink Natural_deduction.
- New_Math wikiPageWikiLink Natural_deduction.
- Normal_form_(natural_deduction) wikiPageWikiLink Natural_deduction.
- Normalisation_by_evaluation wikiPageWikiLink Natural_deduction.
- Object_language wikiPageWikiLink Natural_deduction.
- Outline_of_logic wikiPageWikiLink Natural_deduction.
- Outline_of_software_engineering wikiPageWikiLink Natural_deduction.
- Paraconsistent_logic wikiPageWikiLink Natural_deduction.
- Planner_(programming_language) wikiPageWikiLink Natural_deduction.
- Predicate_functor_logic wikiPageWikiLink Natural_deduction.
- Programming_language_theory wikiPageWikiLink Natural_deduction.
- Proof-theoretic_semantics wikiPageWikiLink Natural_deduction.
- Proof_calculus wikiPageWikiLink Natural_deduction.
- Proof_net wikiPageWikiLink Natural_deduction.
- Proof_procedure wikiPageWikiLink Natural_deduction.
- Proof_theory wikiPageWikiLink Natural_deduction.
- Propositional_calculus wikiPageWikiLink Natural_deduction.
- Propositional_proof_system wikiPageWikiLink Natural_deduction.
- Relevance_logic wikiPageWikiLink Natural_deduction.
- Richard_Sylvan wikiPageWikiLink Natural_deduction.
- Rule_of_inference wikiPageWikiLink Natural_deduction.
- Second-order_logic wikiPageWikiLink Natural_deduction.
- Sequent wikiPageWikiLink Natural_deduction.
- Sequent_calculus wikiPageWikiLink Natural_deduction.
- Set-theoretic_definition_of_natural_numbers wikiPageWikiLink Natural_deduction.
- Simply_typed_lambda_calculus wikiPageWikiLink Natural_deduction.
- Stanisław_Jaśkowski wikiPageWikiLink Natural_deduction.
- Structural_proof_theory wikiPageWikiLink Natural_deduction.
- System_L wikiPageWikiLink Natural_deduction.
- The_Poisoned_Chocolates_Case wikiPageWikiLink Natural_deduction.
- Type_rule wikiPageWikiLink Natural_deduction.
- Universal_instantiation wikiPageWikiLink Natural_deduction.
- martinlof4.pdf isCitedBy Natural_deduction.
- Proofs+Types.html isCitedBy Natural_deduction.
- books?vid=ISBN0-17-712040-1 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-486-40687-9 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-486-42533-7 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-486-44655-4 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-486-63829-4 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-674-55451-1 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-674-57176-1 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-7204-2103-3 isCitedBy Natural_deduction.
- books?vid=ISBN978-0-923891-57-2 isCitedBy Natural_deduction.
- books?vid=ISBN978-1575866321 isCitedBy Natural_deduction.
- BF01201353 isCitedBy Natural_deduction.
- bf01201363 isCitedBy Natural_deduction.