About: Affine logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Substructural logic whose proof theory rejects the structural rule of contraction

Property	Value
dbo:description	substructural logic whose proof theory rejects the structural rule of contraction (en)
dbo:wikiPageWikiLink	dbr:Monotonicity_of_entailment dbr:Set_theory dbr:Russell's_paradox dbr:Vector_space dbr:Decidability_(logic) dbr:Linear_logic dbr:Substructural_logic dbc:Substructural_logic dbr:Jean-Yves_Girard dbr:Theoretical_Computer_Science_(journal) dbr:Linear_algebra dbr:Substructural_type_system dbr:Affine_transformation dbr:Ludics dbr:Idempotency_of_entailment dbr:Structural_rule dbr:Geometry_of_interaction dbr:Predicate_logic dbr:Affine_type_system dbr:Strict_logic dbr:Relevant_logic dbr:Unrestricted_comprehension
dbp:wikiPageUsesTemplate	dbt:Logic-stub
dct:subject	dbc:Substructural_logic
rdfs:label	Affine logic (en)
owl:sameAs	freebase:Affine logic wikidata:Affine logic dbpedia-global:Affine logic dbr:Affine logic
prov:wasDerivedFrom	wikipedia-en:Affine_logic?oldid=1269337642&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Affine_logic
is dbo:wikiPageDisambiguates of	dbr:Affine
is dbo:wikiPageRedirects of	dbr:Linear_Affine_Logic
is dbo:wikiPageWikiLink of	dbr:Kappa_calculus dbr:Outline_of_philosophy dbr:Dialectica_interpretation dbr:Index_of_philosophy_articles_(A–C) dbr:Linear_logic dbr:Index_of_logic_articles dbr:Jean-Yves_Girard dbr:List_of_mathematical_logic_topics dbr:Substructural_type_system dbr:Bunched_logic dbr:Ludics dbr:Affine dbr:Idempotency_of_entailment dbr:Outline_of_logic dbr:Linear_Affine_Logic
is foaf:primaryTopic of	wikipedia-en:Affine_logic

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