science.mathematics.frogs (date)

December 22, 2005

Re:Proof Nets, Boolean Categories, and Medial, Alessio Guglielmi
Proof Nets, Boolean Categories, and Medial, Lutz Strassburger
Proof Nets, Boolean Categories, and Medial, lutz-TgEOGOHWQm0czSlqHMVBIP3zm4ADWneb

December 18, 2005

jumbo connectives - comments please!, Paul B Levy

December 13, 2005

An International Symposium Celebrating the 100th Birthday of Kurt Gödel , Agata Ciabattoni

December 07, 2005

ESSLLI 2006, Alessio Guglielmi

December 05, 2005

Papers, Alessio Guglielmi

November 21, 2005

ICCL Autumn Workshop - Deep Inference and Proof Theory, Ozan Kahramanogullari

October 20, 2005

Conference announcements, Alessio Guglielmi
CfP: AiML 2006, Alexander Kurz

October 11, 2005

Workshop on Logic programming and concurrency, Lutz Strassburger

October 06, 2005

Re: Red and blue (again), Alessio Guglielmi

October 04, 2005

Re:[PT] CSL'06 workshops and Ackermann Award, Alessio Guglielmi
SD06 in Wien?, Alessio Guglielmi
Re:[PT] CSL'06 workshops and Ackermann Award, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

October 03, 2005

[PT] CSL'06 workshops and Ackermann Award, Computer Science Logic '06 Conference

September 30, 2005

Re: Red and blue (again), Dale Miller

August 05, 2005

Re: BV on display, Alwen Tiu
Re: BV on display, Jon Cohen

August 04, 2005

Re: BV on display, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA
Re: BV on display, Alessio Guglielmi
Re: BV on display, Jon Cohen

August 03, 2005

Re: BV on display, Alwen Tiu
Re: BV on display, Jon Cohen
BV on display, Jon Cohen

July 29, 2005

Re:Red and blue (again), Alessio Guglielmi
Re:Red and blue (again), Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

July 28, 2005

Re: Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), Paul B Levy
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), David J. Pym
Re: Red and blue (again), David J. Pym
Re:Red and blue (again), Alessio Guglielmi
Re:Red and blue (again), Alessio Guglielmi
Re:Red and blue (again), Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

July 27, 2005

Re:Red and blue (again), Alessio Guglielmi
Re: Red and blue (again), Jon Cohen
Re:Red and blue (again), Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

July 26, 2005

SD05: it's over!, Francois Lamarche
Red and blue (again), Alessio Guglielmi

July 24, 2005

Re: Back to computability logic, Giorgi Japaridze

July 22, 2005

New paper announcement, Yves Guiraud

July 08, 2005

Re:Back to computability logic, Alessio Guglielmi
Re:Back to computability logic, Alessio Guglielmi

June 29, 2005

Back to computability logic, Giorgi Japaridze

June 24, 2005

Re: Pomset vs BV, Lutz Strassburger
Re: Pomset vs BV, Alwen Tiu
Pomset vs BV, Jon Cohen

June 20, 2005

Re: A cut-free CoS system for S5, Alessio Guglielmi

June 16, 2005

Re: A cut-free CoS system for S5, Phiniki Stouppa
Re: A cut-free CoS system for S5, Jon Cohen
Re: A cut-free CoS system for S5, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

June 15, 2005

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

June 14, 2005

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, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

June 13, 2005

Re: A cut-free CoS system for S5, Charles A Stewart
Re: A cut-free CoS system for S5, Greg Restall
Re:A cut-free CoS system for S5, Jon Cohen
Re:A cut-free CoS system for S5, Alessio Guglielmi

June 08, 2005

Re:New bureacracy/coherence, Alessio Guglielmi

June 03, 2005

Re: New bureacracy/coherence, Lutz Strassburger
New bureacracy/coherence, Richard McKinley
Paper announcement, Ozan Kahramanogullari

June 02, 2005

A cut-free CoS system for S5, Phiniki Stouppa

May 24, 2005

Accepted Papers - Structures and Deduction Workshop (ICALP'05 Satellite), Paola Bruscoli

May 06, 2005

ESSLLI 2006 - Call for Course and Workshop Proposals, Carlos Areces

May 03, 2005

literature online, Lutz Strassburger

April 27, 2005

Re:implementation of system BV, Alessio Guglielmi
implementation of system BV, Ozan Kahramanogullari
News on subatomic logic, Alessio Guglielmi

April 18, 2005

Re:Conferences in computer science, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

April 16, 2005

Re: Conferences in computer science, Alessio Guglielmi
Re: Conferences in computer science, PHitzler-zqRNUXuvxA0b1SvskN2V4Q
Re:Conferences in computer science, Alessio Guglielmi
SD05: Deadline extension, Paola Bruscoli

April 15, 2005

Conferences in computer science, Alessio Guglielmi
SD05: Short Deadline extension, Francois Lamarche

April 13, 2005

Re: Bureaucracy and identity, Alessio Guglielmi
Re: Bureaucracy and identity, Lutz Strassburger

April 04, 2005

Re: Web site, Alessio Guglielmi
Web site, Alessio Guglielmi

April 03, 2005

Re: Bureaucracy and identity, Alessio Guglielmi

March 24, 2005

Preprint announcement, Yves Guiraud

March 23, 2005

Re: Bureaucracy and identity, Stéphane Lengrand
Re: Bureaucracy and identity, Alessio Guglielmi
Re: Bureaucracy and identity, Stéphane Lengrand

March 21, 2005

Re: Bureaucracy and identity, Alessio Guglielmi
Re: Wires and pipes, Alessio Guglielmi

March 18, 2005

Re: Wires and pipes, Lutz Strassburger
Re: Bureaucracy and identity, Lutz Strassburger

March 17, 2005

Re: Wires and pipes, Alessio Guglielmi
Re: Bureaucracy and identity, Alessio Guglielmi

March 16, 2005

Re: Wires and pipes, Lutz Strassburger
Re: Bureaucracy and identity, Lutz Strassburger

March 15, 2005

Structures and Deduction Workshop 2nd cfp - ICALP'05 Satellite, Paola Bruscoli
Re:question on formalism B, Alessio Guglielmi
Wires and pipes, Alessio Guglielmi
Bureaucracy and identity, Alessio Guglielmi
question on formalism B, Lutz Strassburger

March 14, 2005

some news on predicate logic, Kai Brünnler

March 11, 2005

Logical equivalence in BV, Alwen Tiu

March 04, 2005

A 3-dimensional proof, Yves Guiraud

March 02, 2005

Re: double switch, Kai Brünnler
Re: double switch, Jon Cohen
Re: double switch, Kai Brünnler

March 01, 2005

Re: Current research topics update, Yves Guiraud

February 28, 2005

Current research topics update, Alessio Guglielmi

February 25, 2005

Re: double switch, Robert Hein
Re: double switch, Jon Cohen
double switch, Jon Cohen

February 19, 2005

[PT] GoI/Semantics of Classical Proofs, David J. Pym
[PT] Re: GoI/Semantics of Classical Proofs, David J. Pym
Re: GoI/Semantics of Classical Proofs, David J. Pym
GoI/Semantics of Classical Proofs, David J. Pym

February 18, 2005

Proof nets for classical logic and Boolean categories, Lutz Strassburger
Re:Calculus of structures and sequent calculus, Alessio Guglielmi
Re:Calculus of structures and sequent calculus, Alessio Guglielmi

February 17, 2005

Re: Calculus of structures and sequent calculus, Kai Brünnler

February 14, 2005

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, Alessio Guglielmi
Re: Calculus of structures and sequent calculus, Kai Brünnler
Re: Calculus of structures and sequent calculus, Richard McKinley
Re:Calculus of structures and sequent calculus, Yves Guiraud

February 12, 2005

Olive oil, Alessio Guglielmi
System BV is NP-complete, Ozan Kahramanogullari
Re:Calculus of structures and sequent calculus, Alessio Guglielmi

February 11, 2005

Calculus of structures and sequent calculus, Yves Guiraud

February 10, 2005

Workshop, Alessio Guglielmi

February 09, 2005

A local system for intuitionistic logic, Alwen Tiu

February 01, 2005

Re: Astral alignment, Michel Parigot
Astral alignment, Alessio Guglielmi

January 24, 2005

Grant application, Alessio Guglielmi
resolution as cut, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA

January 21, 2005

Re: Trivial observation on resolution, James Harland

January 20, 2005

Re:Trivial observation on resolution, Alessio Guglielmi
Re:Trivial observation on resolution, David Pym
Re:Trivial observation on resolution, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA
Trivial observation on resolution, Alessio Guglielmi

January 16, 2005

Workshops, Alessio Guglielmi

January 13, 2005

New paper: Classical categories and deep inference, Richard McKinley

January 07, 2005

Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli

January 06, 2005

Re: Term syntax for derivations in Deep-Inference systems - CORRECTION, Alessio Guglielmi
Re: Term syntax for derivations in Deep-Inference systems, Alessio Guglielmi

January 05, 2005

Re: Term syntax for derivations in Deep-Inference systems, Kai Brünnler

January 02, 2005

Re: Term syntax for derivations in Deep-Inference systems, Alessio Guglielmi