linear logic

Summary

linear logic ranks in the top 2% of general entities by monthly Wikipedia readership (176 views/month).^[1]

Key Facts

• linear logic is credited with the discovery of Jean-Yves Girard^[2].
• linear logic's Commons category is recorded as Linear logic^[3].
• linear logic's Freebase ID is recorded as /m/02s1gd^[4].
• linear logic's topic's main category is recorded as Category:Linear logic^[5].
• linear logic's Google Knowledge Graph ID is recorded as /g/11ggngvfj_^[6].
• linear logic's Stanford Encyclopedia of Philosophy ID is recorded as logic-linear^[7].
• linear logic's Quora topic ID is recorded as Linear-Logic^[8].
• linear logic's JSTOR topic ID is recorded as linear-logic^[9].
• linear logic's nLab ID is recorded as linear logic^[10].
• linear logic's Microsoft Academic ID is recorded as 28077239^[11].
• linear logic's Treccani's Enciclopedia della Matematica ID is recorded as logica-lineare^[12].
• linear logic's OpenAlex ID is recorded as C28077239^[13].
• linear logic's FOLDOC ID is recorded as linear+logic^[14].
• linear logic's GitLab topic ID is recorded as linear-logic^[15].

Body

Works and Contributions

linear logic is credited with the discovery of Jean-Yves Girard^[2].

Why It Matters

linear logic ranks in the top 2% of general entities by monthly Wikipedia readership (176 views/month).^[1] It has Wikipedia articles in 11 language editions, a strong signal of global cultural recognition.^[16]