Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Cut-elimination_theorem> }
Showing triples 1 to 51 of
51
with 100 triples per page.
- Cut wikiPageDisambiguates Cut-elimination_theorem.
- Cut-elimination wikiPageRedirects Cut-elimination_theorem.
- Cut-free_proof wikiPageRedirects Cut-elimination_theorem.
- Cut_Elimination_Theorem wikiPageRedirects Cut-elimination_theorem.
- Cut_elimination wikiPageRedirects Cut-elimination_theorem.
- Cut_elimination_theorem wikiPageRedirects Cut-elimination_theorem.
- Admissible_rule wikiPageWikiLink Cut-elimination_theorem.
- Analytic_proof wikiPageWikiLink Cut-elimination_theorem.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Cut-elimination_theorem.
- Consistency wikiPageWikiLink Cut-elimination_theorem.
- Craig_interpolation wikiPageWikiLink Cut-elimination_theorem.
- Cut wikiPageWikiLink Cut-elimination_theorem.
- Cut-elimination wikiPageWikiLink Cut-elimination_theorem.
- Cut-free_proof wikiPageWikiLink Cut-elimination_theorem.
- Cut_Elimination_Theorem wikiPageWikiLink Cut-elimination_theorem.
- Cut_elimination wikiPageWikiLink Cut-elimination_theorem.
- Cut_elimination_theorem wikiPageWikiLink Cut-elimination_theorem.
- Cut_rule wikiPageWikiLink Cut-elimination_theorem.
- Deep_inference wikiPageWikiLink Cut-elimination_theorem.
- Gaisi_Takeuti wikiPageWikiLink Cut-elimination_theorem.
- Geometry_of_interaction wikiPageWikiLink Cut-elimination_theorem.
- Gerhard_Gentzen wikiPageWikiLink Cut-elimination_theorem.
- Herbrands_theorem wikiPageWikiLink Cut-elimination_theorem.
- Hilberts_second_problem wikiPageWikiLink Cut-elimination_theorem.
- Index_of_philosophy_articles_(A–C) wikiPageWikiLink Cut-elimination_theorem.
- Kripke_semantics wikiPageWikiLink Cut-elimination_theorem.
- Linear_logic wikiPageWikiLink Cut-elimination_theorem.
- List_of_mathematical_logic_topics wikiPageWikiLink Cut-elimination_theorem.
- List_of_theorems wikiPageWikiLink Cut-elimination_theorem.
- Mathematical_logic wikiPageWikiLink Cut-elimination_theorem.
- Method_of_analytic_tableaux wikiPageWikiLink Cut-elimination_theorem.
- Modus_ponens wikiPageWikiLink Cut-elimination_theorem.
- Natural_deduction wikiPageWikiLink Cut-elimination_theorem.
- Noncommutative_logic wikiPageWikiLink Cut-elimination_theorem.
- Ordinal_analysis wikiPageWikiLink Cut-elimination_theorem.
- Paul_Lorenzen wikiPageWikiLink Cut-elimination_theorem.
- Proof-theoretic_semantics wikiPageWikiLink Cut-elimination_theorem.
- Proof_compression wikiPageWikiLink Cut-elimination_theorem.
- Proof_theory wikiPageWikiLink Cut-elimination_theorem.
- Rule_of_inference wikiPageWikiLink Cut-elimination_theorem.
- Sequent_calculus wikiPageWikiLink Cut-elimination_theorem.
- Stanisław_Jaśkowski wikiPageWikiLink Cut-elimination_theorem.
- Structural_proof_theory wikiPageWikiLink Cut-elimination_theorem.
- Structural_rule wikiPageWikiLink Cut-elimination_theorem.
- Takeutis_conjecture wikiPageWikiLink Cut-elimination_theorem.
- books?vid=ISBN978-0-486-63462-3 isCitedBy Cut-elimination_theorem.
- books?vid=ISBN978-0-923891-57-2 isCitedBy Cut-elimination_theorem.
- 8b731266a16d083d8e45db56d983ac2159efeaeafc5c99ca7921642e90da5b15 isCitedBy Cut-elimination_theorem.
- a47b70a33b6fb5372a4fcf6a01367cf8b055624afac4d2450d2dbb694847f1c1 isCitedBy Cut-elimination_theorem.
- bf01201363 isCitedBy Cut-elimination_theorem.
- Cut-elimination_theorem primaryTopic Cut-elimination_theorem.