Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Linear_logic> ?p ?o }
- Linear_logic wikiPageUsesTemplate Template:Math.
- Linear_logic wikiPageUsesTemplate Template:Non-classical_logic.
- Linear_logic wikiPageUsesTemplate Template:Portal.
- Linear_logic wikiPageUsesTemplate Template:Reflist.
- Linear_logic wikiPageUsesTemplate Template:See_also.
- Linear_logic wikiPageUsesTemplate Template:Unicode.
- Linear_logic wikiPageUsesTemplate Template:What.
- Linear_logic subject Category:Linear_logic.
- Linear_logic subject Category:Non-classical_logic.
- Linear_logic subject Category:Substructural_logic.
- Linear_logic hypernym Logic.
- Linear_logic type Article.
- Linear_logic type Article.
- Linear_logic type Thing.
- Linear_logic comment "Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter.".
- Linear_logic label "Linear logic".
- Linear_logic seeAlso Quantale.
- Linear_logic sameAs Lineární_logika.
- Linear_logic sameAs Logique_linéaire.
- Linear_logic sameAs 線形論理.
- Linear_logic sameAs m.02s1gd.
- Linear_logic sameAs Q841728.
- Linear_logic sameAs Q841728.
- Linear_logic sameAs 线性逻辑.
- Linear_logic wasDerivedFrom Linear_logic?oldid=678334897.
- Linear_logic isPrimaryTopicOf Linear_logic.