I’m enjoying preparing my classes for next month‘s Nordic Logic Summer School in Reykjavik.
This will be the northernmost latitude at which I’ve eliminated cuts.
https://consequently.org/class/2024/nls-proof-theory/
#prooftheory #logic
Greg Restall /
npub1gw…dplw7
2024-05-09 11:09:06
Author Public Key
npub1gwtglfks2gyd69l07rvm70arz8msp8am5shh8u2cxfuj8wg6zcmsndplw7Published at
2024-05-09 11:09:06Event JSON
{
"id": "ddfa50db51d15827cc51938ffa9ef241d51907ae88badd100964cc715e17c7c0",
"pubkey": "43968fa6d05208dd17eff0d9bf3fa311f7009fbba42f73f158327923b91a1637",
"created_at": 1715252946,
"kind": 1,
"tags": [
[
"t",
"prooftheory"
],
[
"t",
"logic"
],
[
"proxy",
"https://hcommons.social/users/consequently/statuses/112410817116259446",
"activitypub"
]
],
"content": "I’m enjoying preparing my classes for next month‘s Nordic Logic Summer School in Reykjavik.\n\nThis will be the northernmost latitude at which I’ve eliminated cuts.\n\nhttps://consequently.org/class/2024/nls-proof-theory/\n\n#prooftheory #logic",
"sig": "a2b31d120d38050e71f6cfe9679bedb3c85030230a3de69b08b21dbe08e35c39f0f505dac722f46a516208782ee7096296a139d91113c6e8f92f24aea0319f9c"
}