#Logic Fedi: I am wondering if anyone can help me. I'm trying to implement an analytic tableau for Belnap's L4, but I'm struggling a lot. I've read the Muskens papers, but as I'm not a logician, I have no idea how to translate those ideas into an analytic tableau.
My biggest mental block is how to translate the concept of a 'closed branch' to L4. I know this is more complex (Belnap's definitions require preservation of truth _and_ falsity), but I have no clue how to even start.
Koz Ross
npub1ag…l7j59
2025-07-27 19:32:48 UTC
Author Public Key
npub1agqu9rf9lh477fc0kyvh0ky8jn42dczzzzh5a8cdghfv5n0nu28qwl7j59Seen on
wss://relay.mostr.pubPublished at
2025-07-27 19:32:48 UTCEvent JSON
{
"id": "8d2fe38c48bfe1d993f6051afb487e1f14a8c8f5675af2ed5a9d2a76d5a534c6",
"pubkey": "ea01c28d25fdebef270fb11977d88794eaa6e04210af4e9f0d45d2ca4df3e28e",
"created_at": 1753644768,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"proxy",
"https://chaos.social/users/koz/statuses/114926863549642363",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "#Logic Fedi: I am wondering if anyone can help me. I'm trying to implement an analytic tableau for Belnap's L4, but I'm struggling a lot. I've read the Muskens papers, but as I'm not a logician, I have no idea how to translate those ideas into an analytic tableau.\n\nMy biggest mental block is how to translate the concept of a 'closed branch' to L4. I know this is more complex (Belnap's definitions require preservation of truth _and_ falsity), but I have no clue how to even start.",
"sig": "aaefdc4557381bee03abccb7399f79ef6a5b26c0886fccbdb9a3b2b55301fb3568d617733634d32d41f2255db529f7c68de70a03b3c9ff1bd8b4a927953432fc"
}