Why Nostr? What is Njump?
2024-11-03 21:27:53
in reply to

tranny demon hacker on Nostr: so I figure this is a good opportunity to share a corner of formal logic with you ...

so I figure this is a good opportunity to share a corner of formal logic with you that few people know about:

Plural Logic, created by George Boolos (not Boole!)
Author Public Key
npub1dedkf2flnstav55fz9y9uwvu30srv8zs9c78xm5prruwqrv4p5xqd6j93d