|
|
Re:Trivial observation on resolution: msg#00009science.mathematics.frogs
> resolution is just a sequent calculus where the only rule is cut. This is completely standard knowledge in proof theory. Best, David |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | Re:Trivial observation on resolution: 00009, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA |
|---|---|
| Next by Date: | Re:Trivial observation on resolution: 00009, Alessio Guglielmi |
| Previous by Thread: | Re:Trivial observation on resolutioni: 00009, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA |
| Next by Thread: | Re:Trivial observation on resolution: 00009, Alessio Guglielmi |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |