Linear logic - CaLiGraph

CaLiGraph

Property	Value
rdf:type	Mathematical logic topic owl:NamedIndividual French invention or discovery Functional programming topic
rdfs:label	Linear logic
owl:sameAs	dbr:Linear_logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Main_topic_classifications http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q) http://en.wikipedia.org/wiki/List_of_French_inventions_and_discoveries http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Outline_of_philosophy http://en.wikipedia.org/wiki/BL_(logic) http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics http://en.wikipedia.org/wiki/Monoidal_t-norm_logic http://en.wikipedia.org/wiki/List_of_functional_programming_topics http://en.wikipedia.org/wiki/T-norm_fuzzy_logics http://en.wikipedia.org/wiki/Non-classical_logic
skos:prefLabel	Linear logic
skos:altLabel	linear ranges Linear Logic Linear semantics linear logic multimap

About: clgr:Linear_logic