Explore relationships

Linear logic

Linear logic is a substructural logic proposed by French logicianJean-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.

Use + to expand a branch. Click a topic name to open its summary.