About: Dialectica space

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Categorical model of Linear Logic

Property	Value
dbo:description	categorical model of Linear Logic (en)
dbo:wikiPageWikiLink	dbr:Category_theory dbr:Morphism dbc:Category_theory dbr:Logical_consequence dbr:Dialectica_interpretation dbr:Linear_logic dbr:Inequality_(mathematics) dbc:Logic dbr:Martin_Hyland dbr:Chu_space dbr:Valeria_de_Paiva dbr:Gödel dbr:Category_(category_theory) dbr:S._Feferman
dbp:wikiPageUsesTemplate	dbt:Logic-stub dbt:Categorytheory-stub dbt:Refend dbt:Refbegin
dct:subject	dbc:Category_theory dbc:Logic
gold:hypernym	dbr:Way
rdfs:label	Dialectica space (en)
owl:sameAs	freebase:Dialectica space wikidata:Dialectica space dbpedia-global:Dialectica space
prov:wasDerivedFrom	wikipedia-en:Dialectica_space?oldid=1288474109&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Dialectica_space
is dbo:wikiPageRedirects of	dbr:Dialectica_spaces
is dbo:wikiPageWikiLink of	dbr:Index_of_logic_articles dbr:List_of_mathematical_logic_topics dbr:Chu_space dbr:Valeria_de_Paiva dbr:Dialectica_spaces
is foaf:primaryTopic of	wikipedia-en:Dialectica_space

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International