Timeline for Tutorial implementation of analytic tableaux
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 28, 2022 at 14:21 | vote | accept | Alex Nelson | ||
| Apr 26, 2022 at 10:56 | comment | added | Zhanrong Qiao | @MichaelNorrish Ah yes, I was probably thinking about "signed tableau" and reducing the number of DNE/RAA rules... | |
| Apr 26, 2022 at 1:40 | comment | added | Michael Norrish | Note that tableau "sequents" are one-sided, so the inferences performed in a tableau proof will map quite cleanly to natural deduction. (To show validity of an input formula, negate it and derive consequences using tableau rules until all branches are closed.) | |
| S Apr 21, 2022 at 18:40 | review | First answers | |||
| Apr 22, 2022 at 7:26 | |||||
| S Apr 21, 2022 at 18:40 | history | edited | Guy Coder | CC BY-SA 4.0 |
Add bullets to make it more apparent there are three different parts to this answer.
|
| Apr 21, 2022 at 15:30 | history | edited | Zhanrong Qiao | CC BY-SA 4.0 |
added 524 characters in body
|
| Apr 21, 2022 at 15:24 | history | edited | Zhanrong Qiao | CC BY-SA 4.0 |
added 524 characters in body
|
| S Apr 21, 2022 at 15:13 | review | First answers | |||
| Apr 21, 2022 at 17:23 | |||||
| S Apr 21, 2022 at 15:13 | history | answered | Zhanrong Qiao | CC BY-SA 4.0 |