Timeline for Whether the pure implicational fragment of intuitionistic propositional logic is a finitely-many valued logic
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24 at 7:55 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
deleted 1 character in body
|
| Mar 24 at 7:38 | comment | added | AnduinWilde | Thank you for your comment! | |
| Mar 23 at 17:59 | comment | added | Emil Jeřábek | See e.g. Chagrov and Zakharyaschev, Modal logic. | |
| Mar 23 at 13:55 | comment | added | AnduinWilde | May I inquire about the source for this? | |
| Mar 17 at 15:34 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
since it was bumped again, fix confusing wording
|
| Mar 17 at 7:49 | history | answered | Emil Jeřábek | CC BY-SA 4.0 |