Boarders on Nostr: Learnt the other day that propositional relevance logic is apparently undecidable
Learnt the other day that propositional relevance logic is apparently undecidable
Published at
2024-03-15 13:27:39Event JSON
{
"id": "da8955a943d16b24b879ac4af822eb1dc9bfb91c22faad69f711a9c425345b71",
"pubkey": "2f0afd5abe64f93d8a7586063f781b69e63387bb9a54d5455cfce53f7b87ed06",
"created_at": 1710509259,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/boarders/statuses/112099934817840000",
"activitypub"
]
],
"content": "Learnt the other day that propositional relevance logic is apparently undecidable",
"sig": "dd756507770e14ec7a71575d765f738d2ed37a602cf72464798a00f0f52998a74c24b5671823019d4baf034f43af7e8626a7bd687391d9fab5b282a161f9b624"
}
