| D10 | D11 | D12 | D13 | E | notes | |
|---|---|---|---|---|---|---|
| N | X | X | AU | |||
| CL | X | X | X | AKU | ||
| not CL | X | X | X | excluded middle, Peirce not valid | ||
| not CL | X | X | X | X | validates Peirce, does not validate excluded middle | |
| IL | X | X | X | U, blog post | ||
| IL | X | X | X | X | U, blog post | |
| IL | X | X | X | X | Felscher | |
| IL | X | X | X | X | X | Felscher |
Tuesday, June 28, 2011
Fill in the Blanks
Note: Rather than continuing to update this post, the results can be found in the results paper linked in this post.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment