Timeline for Axiomatic system made just for playing
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 18, 2023 at 6:54 | comment | added | A. J. Pan-Collantes | Sorry, but I can't follow the answer. I don't know intuitionistic logic. I don't know what do you mean by an atomic formula. I guess I have to study some logic first... | |
| Mar 17, 2023 at 17:16 | history | edited | PW_246 | CC BY-SA 4.0 |
added 7 characters in body
|
| S Mar 17, 2023 at 17:05 | review | First answers | |||
| Mar 17, 2023 at 17:27 | |||||
| S Mar 17, 2023 at 17:05 | history | answered | PW_246 | CC BY-SA 4.0 |