science.mathematics.prooftheory (thread)

[PT] non-admissibility of Cut, Roy Dyckhoff
- Re: [PT] non-admissibility of Cut, Arnon Avron
- [PT] Correction, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
- Re: [PT] non-admissibility of Cut, Adrian Rezus
- RE: [PT] non-admissibility of Cut, Valeria.dePaiva-JIACEBSeTWI
  - RE: [PT] non-admissibility of Cut, Roy Dyckhoff
[PT] non-admissibility of cut (in S5), Roy Dyckhoff
- Re: [PT] non-admissibility of cut (in S5), Arnon Avron
  - Re: [PT] non-admissibility of cut (in S5), Roy Dyckhoff
Re:[PT] Sequent systems where cut is not admissible, Alessio Guglielmi
- Re:[PT] Sequent systems where cut is not admissible, Jon Cohen
[PT] PhD Scholarship available, Rob Goldblatt
[PT] CFP: International Workshop on Hybrid Logic 2005 (HyLo 2006), Carlos Areces
[PT] CFP: Workshop on Logics for Resource Bounded Agents, Carlos Areces
[PT] ESSLLI 2006: List of Courses, Carlos Areces
[PT] jumbo connectives - comments please!, Paul B Levy
- Re:[PT] jumbo connectives - comments please!, Alessio Guglielmi
[PT] Hypersequent Proof Search, Robert Rothenberg
- Re: [PT] Hypersequent Proof Search, Ozan Kahramanogullari
[PT] 2nd Call: ESSLLI 2006 Student Session, Carlos Areces
[PT] SPACE 2006: Call for Participation, Richard Jones
[PT] Sequent systems not expressible in Hilbert / ND style, Mark Price
- Re: [PT] Sequent systems not expressible in Hilbert / ND style, Richard Zach
- Re: [PT] Sequent systems not expressible in Hilbert / ND style, Moneesha Mehta
  - Re: [PT] Sequent systems not expressible in Hilbert / ND style, Riccardo Pucella
    - Re: [PT] Sequent systems not expressible in Hilbert / ND style, nam
    - Re: [PT] Sequent systems not expressible in Hilbert / ND style, Riccardo Pucella
- Re: [PT] Sequent systems not expressible in Hilbert / ND style, Moneesha Mehta
SPACE 2006: Call for Participation, Richard Jones
- SPACE 2006: Call for Participation, Richard Jones
- SPACE 2006: Call for Participation, Richard Jones
Call for Participation: FOOL/WOOD 2006, Kathleen Fisher
[PT] Call for Participation: FOOL/WOOD 2006, Kathleen Fisher
[PT] Workshop on Deep Inference and Proof Theory, Ozan Kahramanogullari
[PT] CSR-2006: Springer LNCS, Deadline 18th December, Edward A. Hirsch