Cody on Nostr: I'm now confused: what's the property called "local harmony" for, say implication, in ...
I'm now confused: what's the property called "local harmony" for, say implication, in proof theory/type theory terms?
Cody
npub1ah…vhw9x
2024-10-03 22:14:54 UTC
in reply to nevent1q…6guj
Author Public Key
npub1ahl7tmpdsaqrpxgyjrpqhnhvegk3acmfqdz38g7mst0lkrc07ppsrvhw9xSeen on
wss://relay.momostr.pinkPublished at
2024-10-03 22:14:54 UTCEvent JSON
{
"id": "fe760f219355b4e9f83372bbfa3eccef354bb8d2369a5736d7e632a7264668ae",
"pubkey": "edffe5ec2d874030990490c20bceecca2d1ee369034513a3db82dffb0f0ff043",
"created_at": 1727993694,
"kind": 1,
"tags": [
[
"p",
"7b18490a7c6d49144740dd7024285904ea5bb5b8b941af497cd7ca6fe00d2940"
],
[
"e",
"77422f505c5377ee2bb15717376c8b1c084aea6ddf4778ae60d66e753bb6b472",
"",
"reply",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"p",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"p",
"20620c8fffc921adb198ad4e702673713d1543b1c59fbc83c4e652226a62dfa4"
],
[
"e",
"4cb7f39c81ec254f1fad73618c4c5e0e2d949e85d4fb343118a653d1e6726b63",
"",
"root",
"20620c8fffc921adb198ad4e702673713d1543b1c59fbc83c4e652226a62dfa4"
],
[
"proxy",
"https://mathstodon.xyz/@codyroux/113245794790719099",
"web"
],
[
"p",
"edffe5ec2d874030990490c20bceecca2d1ee369034513a3db82dffb0f0ff043"
],
[
"proxy",
"https://mathstodon.xyz/users/codyroux/statuses/113245794790719099",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/codyroux/statuses/113245794790719099",
"pink.momostr"
],
[
"-"
]
],
"content": "I'm now confused: what's the property called \"local harmony\" for, say implication, in proof theory/type theory terms?",
"sig": "1952c24e7ca457bfe22c12aeae99b6bfcea05f5110311477bbab4db3ddd2c677b8c09612fd2469b3a0bf192622a8824d82501c96844256988139565df689ea59"
}