science.mathematics.frogs (thread)

Back to computability logic, Giorgi Japaridze
Pomset vs BV, Jon Cohen
- Re: Pomset vs BV, Alwen Tiu
  - Re: Pomset vs BV, Lutz Strassburger
Paper announcement, Ozan Kahramanogullari
A cut-free CoS system for S5, Phiniki Stouppa
- New bureacracy/coherence, Richard McKinley
  - Re: New bureacracy/coherence, Lutz Strassburger
  - Re:New bureacracy/coherence, Alessio Guglielmi
- Re:A cut-free CoS system for S5, Alessio Guglielmi
  - Re:A cut-free CoS system for S5, Jon Cohen
  - Re: A cut-free CoS system for S5, Greg Restall
    - Re: A cut-free CoS system for S5, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA
    - Re: A cut-free CoS system for S5, Alessio Guglielmi
    - Re: A cut-free CoS system for S5, Phiniki Stouppa
    - Re: A cut-free CoS system for S5, Alessio Guglielmi
    - Re: A cut-free CoS system for S5, Jon Cohen
    - Re: A cut-free CoS system for S5, Alessio Guglielmi
    - Re: A cut-free CoS system for S5, Phiniki Stouppa
    - Re: A cut-free CoS system for S5, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA
    - Re: A cut-free CoS system for S5, Jon Cohen
    - Re: A cut-free CoS system for S5, Phiniki Stouppa
  - Re: A cut-free CoS system for S5, Charles A Stewart