Do you happen to know who introduced the name “affine logic” for linear logic plus weakening? I thought it dated back to Girard's 1987 TCS paper, but I can’t find it there.
(There are plenty of uses of the term in the 1990s, but I can’t find any references to the source.)
#history-of-logic #logic
Greg Restall /
npub1gw…dplw7
2024-08-19 09:57:59
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7Published at
2024-08-19 09:57:59Event JSON
{
"id": "ca0f2ec9c0e9157f97d7a1dc31ec3dfe86553b612d75a78afd7a6cbf69d43998",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1724061479,
"kind": 1,
"tags": [
[
"t",
"history"
],
[
"t",
"logic"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112988093093227734",
"activitypub"
]
],
"content": "Do you happen to know who introduced the name “affine logic” for linear logic plus weakening? I thought it dated back to Girard's 1987 TCS paper, but I can’t find it there.\n\n(There are plenty of uses of the term in the 1990s, but I can’t find any references to the source.)\n\n#history-of-logic #logic",
"sig": "084f7b243089a8ac741d5c1073873a26abcbe551ed6dd24b15157621592dc49c23fa70fc11123318f8f241603e6fe4ef9bd8ecc12e634991327688b13368b6ef"
}