Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Completeness_of_atomic_initial_sequents> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items 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 wikiPageRevisionID "456261617".
- Completeness_of_atomic_initial_sequents hasPhotoCollection Completeness_of_atomic_initial_sequents.
- 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 Abstraction100002137.
- Completeness_of_atomic_initial_sequents type Communication100033020.
- Completeness_of_atomic_initial_sequents type Message106598915.
- Completeness_of_atomic_initial_sequents type Proposition106750804.
- Completeness_of_atomic_initial_sequents type Statement106722453.
- Completeness_of_atomic_initial_sequents type Theorem106752293.
- Completeness_of_atomic_initial_sequents type TheoremsInTheFoundationsOfMathematics.
- 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 m.06619qh.
- Completeness_of_atomic_initial_sequents sameAs Q5156542.
- Completeness_of_atomic_initial_sequents sameAs Q5156542.
- Completeness_of_atomic_initial_sequents sameAs Completeness_of_atomic_initial_sequents.
- Completeness_of_atomic_initial_sequents wasDerivedFrom Completeness_of_atomic_initial_sequents?oldid=456261617.
- Completeness_of_atomic_initial_sequents isPrimaryTopicOf Completeness_of_atomic_initial_sequents.