Timeline for How can implications in Gödel logic be understood as assumptions?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 13, 2023 at 0:41 | answer | added | Alex Kruckman | timeline score: 4 | |
| Aug 12, 2023 at 16:37 | comment | added | blk | Can you elaborate on ways you can think about making this statement precise and how they apply to Gödel implication? | |
| Aug 12, 2023 at 13:25 | comment | added | Alex Kruckman | "In classical logic, we can think of $a\rightarrow\bullet$ as a kind of 'assume $a$' operation." I'm not sure exactly what you mean by this, but any way I can think of to make this statement precise will equally well apply to the Gödel implication. | |
| Aug 11, 2023 at 23:13 | history | edited | blk | CC BY-SA 4.0 |
edited title
|
| S Aug 11, 2023 at 23:12 | review | First questions | |||
| Aug 12, 2023 at 7:15 | |||||
| S Aug 11, 2023 at 23:12 | history | asked | blk | CC BY-SA 4.0 |