science.mathematics.frogs (thread)

Current research topics update, Alessio Guglielmi
double switch, Jon Cohen
- Re: double switch, Robert Hein
  - Re: double switch, Jon Cohen
[PT] GoI/Semantics of Classical Proofs, David J. Pym
[PT] Re: GoI/Semantics of Classical Proofs, David J. Pym
GoI/Semantics of Classical Proofs, David J. Pym
- Re: GoI/Semantics of Classical Proofs, David J. Pym
Proof nets for classical logic and Boolean categories, Lutz Strassburger
Olive oil, Alessio Guglielmi
Calculus of structures and sequent calculus, Yves Guiraud
- Re:Calculus of structures and sequent calculus, Alessio Guglielmi
  - Re:Calculus of structures and sequent calculus, Yves Guiraud
    - Re: Calculus of structures and sequent calculus, Richard McKinley
    - Re: Calculus of structures and sequent calculus, Kai Brünnler
    - Re: Calculus of structures and sequent calculus, Alessio Guglielmi
    - Re: Calculus of structures and sequent calculus, Kai Brünnler
    - Re: Calculus of structures and sequent calculus, Yves Guiraud
    - Re: Calculus of structures and sequent calculus, Kai Brünnler
    - Re:Calculus of structures and sequent calculus, Alessio Guglielmi
    - Re:Calculus of structures and sequent calculus, Alessio Guglielmi
Workshop, Alessio Guglielmi
A local system for intuitionistic logic, Alwen Tiu
- System BV is NP-complete, Ozan Kahramanogullari
Astral alignment, Alessio Guglielmi
- Re: Astral alignment, Michel Parigot