Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Completeness_of_atomic_initial_sequents> ?p ?o }
Showing triples 1 to 25 of
25
with 100 triples per page.
- Completeness_of_atomic_initial_sequents abstract "In sequent calculus, the completeness of atomic initial sequents states that initial sequents A ⊢ A (where A is an arbitrary formula) can be derived from only atomic initial sequents p ⊢ p (where p is an atomic formula). This theorem plays a role analogous to eta expansion in lambda calculus, and dual to cut-elimination and beta reduction. Typically it can be established by induction on the structure of A, much more easily than cut-elimination.".
- Completeness_of_atomic_initial_sequents wikiPageID "23252771".
- Completeness_of_atomic_initial_sequents wikiPageLength "1019".
- Completeness_of_atomic_initial_sequents wikiPageOutDegree "8".
- Completeness_of_atomic_initial_sequents wikiPageRevisionID "456261617".
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Atomic_formula.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Category:Proof_theory.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Cut-elimination_theorem.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Lambda_calculus.
- Completeness_of_atomic_initial_sequents wikiPageWikiLink Sequent_calculus.
- Completeness_of_atomic_initial_sequents wikiPageWikiLinkText "completeness of atomic initial sequents".
- Completeness_of_atomic_initial_sequents wikiPageUsesTemplate Template:Math.
- Completeness_of_atomic_initial_sequents wikiPageUsesTemplate Template:Mathlogic-stub.
- Completeness_of_atomic_initial_sequents subject Category:Proof_theory.
- Completeness_of_atomic_initial_sequents subject Category:Theorems_in_the_foundations_of_mathematics.
- Completeness_of_atomic_initial_sequents type Proof.
- Completeness_of_atomic_initial_sequents type Theorem.
- Completeness_of_atomic_initial_sequents comment "In sequent calculus, the completeness of atomic initial sequents states that initial sequents A ⊢ A (where A is an arbitrary formula) can be derived from only atomic initial sequents p ⊢ p (where p is an atomic formula). This theorem plays a role analogous to eta expansion in lambda calculus, and dual to cut-elimination and beta reduction. Typically it can be established by induction on the structure of A, much more easily than cut-elimination.".
- Completeness_of_atomic_initial_sequents label "Completeness of atomic initial sequents".
- Completeness_of_atomic_initial_sequents sameAs Q5156542.
- Completeness_of_atomic_initial_sequents sameAs m.06619qh.
- Completeness_of_atomic_initial_sequents sameAs Q5156542.
- Completeness_of_atomic_initial_sequents wasDerivedFrom Completeness_of_atomic_initial_sequents?oldid=456261617.
- Completeness_of_atomic_initial_sequents isPrimaryTopicOf Completeness_of_atomic_initial_sequents.