Matteo Capucci on Nostr: Sheaf semantics of intuitionistic logic generalizes both Kripke's and Beth's, but ...
Sheaf semantics of intuitionistic logic generalizes both Kripke's and Beth's, but only the first gets credit for it besides Joyal, much to the confusion of a young me
Published at
2026-02-17 11:47:59 UTCEvent JSON
{
"id": "71b47d4771bd10d9f8f51d1433ee4d1e91e39a1b0adaf492f2689beb0350896f",
"pubkey": "33103dbe06c89141664669ee858c3b9d835eea0e12f4b6d57b33ceb9fe103aae",
"created_at": 1771328879,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/mc/statuses/116085809423125369",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Sheaf semantics of intuitionistic logic generalizes both Kripke's and Beth's, but only the first gets credit for it besides Joyal, much to the confusion of a young me",
"sig": "e4029412d84ff281bd80e5d37754ca9188dc404f30d7feac34e13711590e20eb71495433af8250129b22520bf3c633586ebb795d494d53eefaefb1e1f42d1b3d"
}
