science.mathematics.frogs (thread)

ICALP workshop proposal: Applications of New Proof Theory, Charles A Stewart
(unknown), cas-67uHxSI+EqixbKUeIHjxjQ
Splitting for classical logic, Alessio Guglielmi
- Re: Splitting for classical logic, Lutz Strassburger
Splitting and cut elimination, Alessio Guglielmi
- Re:Splitting and cut elimination, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
  - Re:Splitting and cut elimination, Alessio Guglielmi
    - Re: Splitting and cut elimination, Kai Brünnler
    - Re: Splitting, cut elimination and classical logic, Alessio Guglielmi
    - Re: Splitting, cut elimination and classical logic, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
    - Re: Splitting, cut elimination and classical logic, Lutz Strassburger
    - Re: Splitting, cut elimination and classical logic, Alessio Guglielmi
    - Re: Splitting, cut elimination and classical logic, Lutz Strassburger
    - Re:Splitting and cut elimination, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
    - Re: Splitting and cut elimination, Charles A Stewart
    - Re: Splitting and cut elimination, Rajeev . Gore-FCV4sgi5zeUQrrorzV6ljw
- Re: Splitting and cut elimination, Kai Brünnler