Yes, but iwe use a formal *operational* logic. Set and symbolic logic is also formal. Formal meaning a rigorous grammar. We intentionally avoid use of symbols common in most formal logic, and instead use the formalism of programming (operation) languages (grammars).
Source date (UTC): 2023-01-14 11:06:46 UTC
Original post: https://twitter.com/i/web/status/1614217453214613504
Reply addressees: @anderstegn
Replying to: https://twitter.com/i/web/status/1614215259874631680
Leave a Reply