Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dialectica_space> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Dialectica_space abstract "Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Gödel's dialectica interpretation—hence the name.Given a category C and a specific object K of C with certain (logical) properties, one can construct the category of Dialectica spaces over C, whose objects are pairs of objects of C, related by a C-morphism into the given object. Morphisms of Dialectica spaces are similar to Chu space morphisms, but instead of an equality condition, they have an inequality condition, which is read as a logical implication, the first object implies the second.".
- Dialectica_space wikiPageID "12288146".
- Dialectica_space wikiPageRevisionID "522393392".
- Dialectica_space hasPhotoCollection Dialectica_space.
- Dialectica_space subject Category:Category_theory.
- Dialectica_space subject Category:Logic.
- Dialectica_space comment "Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Gödel's dialectica interpretation—hence the name.Given a category C and a specific object K of C with certain (logical) properties, one can construct the category of Dialectica spaces over C, whose objects are pairs of objects of C, related by a C-morphism into the given object.".
- Dialectica_space label "Dialectica space".
- Dialectica_space sameAs m.02vz1b0.
- Dialectica_space sameAs Q5270532.
- Dialectica_space sameAs Q5270532.
- Dialectica_space wasDerivedFrom Dialectica_space?oldid=522393392.
- Dialectica_space isPrimaryTopicOf Dialectica_space.