This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Gro-Tsen
gro-tsen.bsky.social
did:plc:tnde52rcbqxotp7a2cl7bmxu
I… did not expect to read this in a math paper. 😮 And I certainly did not expect an appeal to Kant's ‘Ding an sich’, or a comparison with a black hole, to justify the technical change of adding nodes representing ⊥ in Kripke semantics of linear logic. 😆
2024-08-21T12:29:11.239Z