science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

December 23, 2005

Re: [PT] non-admissibility of Cut, Adrian Rezus
Re: [PT] non-admissibility of cut (in S5), Roy Dyckhoff
[PT] Correction, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
RE: [PT] non-admissibility of Cut, Valeria.dePaiva-JIACEBSeTWI
RE: [PT] non-admissibility of Cut, Roy Dyckhoff
Re: [PT] non-admissibility of Cut, Arnon Avron
Re: [PT] non-admissibility of cut (in S5), Arnon Avron
[PT] non-admissibility of Cut, Roy Dyckhoff
[PT] non-admissibility of cut (in S5), Roy Dyckhoff
Re:[PT] Sequent systems where cut is not admissible, Jon Cohen

December 22, 2005

Re:[PT] jumbo connectives - comments please!, Alessio Guglielmi
Re:[PT] Sequent systems where cut is not admissible, Alessio Guglielmi

December 20, 2005

[PT] PhD Scholarship available, Rob Goldblatt

December 19, 2005

[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

December 12, 2005

Re: [PT] Hypersequent Proof Search, Ozan Kahramanogullari

December 11, 2005

SPACE 2006: Call for Participation, Richard Jones

December 09, 2005

[PT] Hypersequent Proof Search, Robert Rothenberg

December 08, 2005

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

December 07, 2005

Re: [PT] Sequent systems not expressible in Hilbert / ND style, Moneesha Mehta
[PT] 2nd Call: ESSLLI 2006 Student Session, Carlos Areces
SPACE 2006: Call for Participation, Richard Jones

December 06, 2005

[PT] SPACE 2006: Call for Participation, Richard Jones
[PT] Sequent systems not expressible in Hilbert / ND style, Mark Price
SPACE 2006: Call for Participation, Richard Jones

December 03, 2005

Call for Participation: FOOL/WOOD 2006, Kathleen Fisher

December 02, 2005

[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

News | FAQ | advertise