Timeline for Hilbert style axiomatic proof or sequent Calculus?
Current License: CC BY-SA 3.0
16 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 23, 2014 at 5:05 | comment | added | Doug Spoonwood | Maybe I've misunderstood something, and I know next to nothing about sequent calculi, but I don't see how one would formalize say the Hilbert calculus with the sole axiom C$\delta$CpqCp$\delta$q, or the Hilbert calculus with the sole axiom C$\delta$pC$\delta$Np$\delta$q. Maybe there's a way to do so, but how would one express the rule of substitution as it applies to functioral variables? | |
| Aug 21, 2013 at 12:54 | answer | added | Emil Jeřábek | timeline score: 6 | |
| Aug 21, 2013 at 6:27 | comment | added | user9072 | @YemonChoi there were some similarities. But for instance the link was not added and the author's name corrected in a betetr way. Also everybody can see the edit history so it is not so clear. Anyway the name of the author was misspelled this alone warrants a change. In addition the author is not 'he', so I corrected that too now. | |
| Aug 21, 2013 at 6:24 | comment | added | Yemon Choi | @quid and that anonymous edit looked remarkably similar, in its changes and in its omissions, to the edit from jeq that I rolled back... | |
| Aug 21, 2013 at 6:22 | comment | added | user9072 | There was an other suggested edit, correcting the name of the mentioned author (which was already present in the first edit, essentially). Thus, I approved it and added the link in the process. @YemonChoi I don't know I am not so firm on such things myself. Still the edit seemed like a genuine improvement to me, even if it was not perfect. | |
| Aug 21, 2013 at 6:22 | comment | added | Yemon Choi | @quid in that case, why not correct the grammar in the 2nd sentence and the inconsistent capitalization? Why italicize the Latin tag and partially correct it without actually getting it right? This kind of tinkering says more to me about the tinkerer than anything else, I'm afraid | |
| S Aug 21, 2013 at 6:18 | history | edited | user9072 | CC BY-SA 3.0 |
Corrected spelling of Johannson to Johansson (quid: added working link)
|
| S Aug 21, 2013 at 6:18 | history | suggested | CommunityBot | CC BY-SA 3.0 |
Corrected spelling of Johannson to Johansson
|
| Aug 21, 2013 at 6:06 | review | Suggested edits | |||
| Aug 21, 2013 at 6:18 | |||||
| Aug 21, 2013 at 6:00 | comment | added | user9072 | @YemonChoi perhaps having a working link nevertheless could have been convenient. | |
| Aug 21, 2013 at 5:31 | comment | added | Yemon Choi | I would also ask @jeq if he or she has plans to ask or answer some questions on this site, or participate in exchanges in the comments? | |
| Aug 21, 2013 at 5:30 | comment | added | Yemon Choi | I just rolled back the edit by @jeq - the mistakes of English in the original post did not, in my view, prevent one from understanding or reading the underlying question. | |
| Aug 21, 2013 at 5:27 | history | rollback | Yemon Choi |
Rollback to Revision 1
|
|
| S Aug 21, 2013 at 5:23 | history | suggested | jeq | CC BY-SA 3.0 |
Minor English corrections (albeit unlikely to help)
|
| Aug 21, 2013 at 4:51 | review | Suggested edits | |||
| S Aug 21, 2013 at 5:23 | |||||
| Aug 21, 2013 at 4:21 | history | asked | Willemien | CC BY-SA 3.0 |