science.mathematics.prooftheory (thread)

[PT] Invertible hypersequent calculi for IPL, Robert Rothenberg
[PT] Semantics and justification of wk and ctr: references, Ole Thomassen Hjortland
[PT] Proof nets and the identity of proofs, Lutz Strassburger
[TYPES/announce] Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS, Computer Science Logic '06 Conference
[PT] E. W. Beth Dissertation Prize: call for submissions, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE