1. linear logic
Wikipedia definition
2. Linear logicLinear 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.
Read “Linear logic” on English Wikipedia
Read “線形論理” on Japanese Wikipedia
Read “Linear logic” on DBpedia


to talk about this word.