Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with intuitionism
Search options answers only
not deleted
user 2273
31
votes
Alternatives to the law of the excluded middle
Your question sounds like you’re thinking mainly about plain propositional logic, and for that, Emil Jeřábek’s excellent answer shows why the answer is “no”. But to supplement it a little, in case yo …
- 21.3k
1
vote
Modal collapse upon addition of the law of the excluded middle to an Intuitionistic modal logic
Bjørn Kjos-Hanssen’s answer gives a good concise symbolic proof; but it seems also worth giving the argument in prose as well, to explain the idea more readably. I will write “$\bigcirc$” as “usually …
- 21.3k
17
votes
Accepted
Why are W-types called "W"?
You write:
Probably "W" means either "wellordered" or "wellfounded". […] But these are notions associated to order theory, whereas W-types don't directly have to do with order relations (if at all).
…
- 21.3k