Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Proof_theory> . }
Showing items 1 to 95 of
95
with 100 items per page.
- Analytic_proof subject Category:Proof_theory.
- Bachmann–Howard_ordinal subject Category:Proof_theory.
- Bounded_quantifier subject Category:Proof_theory.
- Church–Kleene_ordinal subject Category:Proof_theory.
- Completeness_(logic) subject Category:Proof_theory.
- Completeness_of_atomic_initial_sequents subject Category:Proof_theory.
- Conservative_extension subject Category:Proof_theory.
- Conservativity_theorem subject Category:Proof_theory.
- Consistency subject Category:Proof_theory.
- Curry–Howard_correspondence subject Category:Proof_theory.
- Cut-elimination_theorem subject Category:Proof_theory.
- Decidability_(logic) subject Category:Proof_theory.
- Decidable_sublanguages_of_set_theory subject Category:Proof_theory.
- Deduction_theorem subject Category:Proof_theory.
- Deductive_system subject Category:Proof_theory.
- Deep_inference subject Category:Proof_theory.
- Dialectica_interpretation subject Category:Proof_theory.
- Disjunction_and_existence_properties subject Category:Proof_theory.
- Double-negation_translation subject Category:Proof_theory.
- Elementary_function_arithmetic subject Category:Proof_theory.
- Epsilon_calculus subject Category:Proof_theory.
- Extension_by_definitions subject Category:Proof_theory.
- Fast-growing_hierarchy subject Category:Proof_theory.
- Feferman–Schütte_ordinal subject Category:Proof_theory.
- Formal_proof subject Category:Proof_theory.
- Friedman_translation subject Category:Proof_theory.
- Gentzen's_consistency_proof subject Category:Proof_theory.
- Geometry_of_interaction subject Category:Proof_theory.
- Gödel's_completeness_theorem subject Category:Proof_theory.
- Gödel's_incompleteness_theorems subject Category:Proof_theory.
- Gödel's_speed-up_theorem subject Category:Proof_theory.
- Hardy_hierarchy subject Category:Proof_theory.
- Herbrand's_theorem subject Category:Proof_theory.
- Hilbert's_program subject Category:Proof_theory.
- Hilbert_system subject Category:Proof_theory.
- Independence_(mathematical_logic) subject Category:Proof_theory.
- Interpretability subject Category:Proof_theory.
- Judgment_(mathematical_logic) subject Category:Proof_theory.
- Lambda-mu_calculus subject Category:Proof_theory.
- Large_countable_ordinal subject Category:Proof_theory.
- LowerUnits subject Category:Proof_theory.
- Mathematical_fallacy subject Category:Proof_theory.
- Mathematical_induction subject Category:Proof_theory.
- Metalanguage subject Category:Proof_theory.
- Natural_deduction subject Category:Proof_theory.
- NuPRL subject Category:Proof_theory.
- Ordinal_analysis subject Category:Proof_theory.
- Ordinal_notation subject Category:Proof_theory.
- Original_proof_of_Gödel's_completeness_theorem subject Category:Proof_theory.
- Paraconsistent_mathematics subject Category:Proof_theory.
- Peano-Russell_notation subject Category:Proof_theory.
- Presburger_arithmetic subject Category:Proof_theory.
- Primitive_recursive_functional subject Category:Proof_theory.
- Proof-theoretic_semantics subject Category:Proof_theory.
- Proof_(truth) subject Category:Proof_theory.
- Proof_calculus subject Category:Proof_theory.
- Proof_compression subject Category:Proof_theory.
- Proof_mining subject Category:Proof_theory.
- Proof_net subject Category:Proof_theory.
- Proof_procedure subject Category:Proof_theory.
- Proof_theory subject Category:Proof_theory.
- Provability_logic subject Category:Proof_theory.
- Pure_type_system subject Category:Proof_theory.
- Realizability subject Category:Proof_theory.
- Redundant_proof subject Category:Proof_theory.
- Resolution_inference subject Category:Proof_theory.
- Resolution_proof_compression_by_splitting subject Category:Proof_theory.
- Resolution_proof_reduction_via_local_context_rewriting subject Category:Proof_theory.
- Reverse_mathematics subject Category:Proof_theory.
- Self-verifying_theories subject Category:Proof_theory.
- Sequent subject Category:Proof_theory.
- Sequent_calculus subject Category:Proof_theory.
- Setoid subject Category:Proof_theory.
- Slow-growing_hierarchy subject Category:Proof_theory.
- Soundness subject Category:Proof_theory.
- Soundness_(interactive_proof) subject Category:Proof_theory.
- Structural_proof_theory subject Category:Proof_theory.
- Structural_rule subject Category:Proof_theory.
- Takeuti's_conjecture subject Category:Proof_theory.
- Tolerant_sequence subject Category:Proof_theory.
- Turnstile_(symbol) subject Category:Proof_theory.
- Undecidable_problem subject Category:Proof_theory.
- VIPER_microprocessor subject Category:Proof_theory.
- Veblen_function subject Category:Proof_theory.
- Weak_interpretability subject Category:Proof_theory.
- Zariski's_lemma subject Category:Proof_theory.
- Ψ₀(Ωω) subject Category:Proof_theory.
- Ω-consistent_theory subject Category:Proof_theory.
- Büchi_arithmetic subject Category:Proof_theory.
- Category:Mathematical_induction broader Category:Proof_theory.
- Category:Methods_of_proof broader Category:Proof_theory.
- Category:Proof_theorists broader Category:Proof_theory.
- Category:Rules_of_inference broader Category:Proof_theory.
- Category:Substructural_logic broader Category:Proof_theory.
- Category:Mathematical_proofs related Category:Proof_theory.