3 ms·
Once those definitions are given then my trivial example holds though, correct? Which are you saying; that it is, or, it is not possible to give those definiti
by igravious 11y ago
Once those definitions are given then my trivial example holds though, correct?
Which are you saying; that it is, or, it is not possible to give those definitions?
- IngoBlechschmid 11y agoI didn't check it. If you want to do it (the key step being to verify that the axioms of intuitionistic logic holds for your definitions of AND and OR), you can check Wikipedia for the list of axioms to verify: https://en.wikipedia.org/wiki/Heyting_algebra https://en.wikipedia.org/wiki/Heyting_algebra