This is a mailing list devoted to deep inference, proof nets, structads, the calculus of structures and other amphibians of structural proof theory

Max Schäfer | 3 Jul 2006 22:43

Introducing the GraPE Graphical Proof Editor

Hi,

I would like to announce the availability of a new
release (version 0.9.2) of GraPE, a versatile
GUI-based proof editor with strong support for the
calculus of structures. You can download it from
http://grape.sf.net

Notable features of GraPE include:

  - It is flexible enough to support many different
inference systems; the standard distribution contains
implementations of system BV and a variant of system
SKSg as well as the one-sided Gentzen-Schuette sequent
calculus.

  - It can interface to a Maude interpreter, so you
can use the Maude language to implement new inference
systems or use one of the systems implemented by Ozan
Kahramanogullari
(http://www.computational-logic.org/~ozan/maude_cos.html).

  - It supports not only inference rules to build a
derivation step by step, but also transformation rules
that affect the derivation as a whole, such as proof
search or the elimination of admissible rules (simple
examples are included in the distribution).

Please note that GraPE is still in an early stage of
development; documentation is scant (though improving)

(Continue reading)

headers

Lutz Strassburger | 4 Jul 2006 11:15

ESSLLI'06 lecture notes


Hi Frogs,

Since I am going to give a course at this year's ESSLLI, I produced some 
lecture notes, which are available here:

http://www.lix.polytechnique.fr/~lutz/papers/ESSLLI06notes.pdf

I've tried to make them easy to understand and not too technical. But since I 
wrote them from scratch in less than 6 weeks, it is not as smooth as I planned. 
In the end I could not explain everything as detailed as I wanted because I was 
running out of time and space (I had only 100 pages maximum). Nonetheless, I 
appreciate any comments for improving the course. I surely will not cover 
everything that is in the notes, but I have not yet decided what to include and 
what to leave out.

Ciao,
Lutz


Mon	Tue	Wed	Thu	Fri	Sat	Sun
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

Mon

Tue

Wed

Thu

Fri

Sat

Sun

1	May 2013
1	March 2013
3	February 2013
6	January 2013
1	November 2012
2	September 2012
2	August 2012
1	June 2012
1	May 2012
2	January 2012
1	September 2011
1	July 2011
1	May 2011
2	April 2011
5	March 2011
1	February 2011
4	January 2011
1	August 2010
1	April 2010
14	March 2010
1	November 2009
1	September 2009
3	August 2009
8	March 2009
16	February 2009
6	November 2008
2	October 2008
2	September 2008
2	August 2008
12	July 2008
4	June 2008
2	May 2008
3	April 2008
2	March 2008
3	February 2008
1	January 2008
1	November 2007
17	October 2007
15	September 2007
2	August 2007
1	June 2007
1	May 2007
1	April 2007
7	March 2007
2	February 2007
1	January 2007
1	November 2006
2	September 2006
2	August 2006
2	July 2006
1	June 2006
4	May 2006
9	March 2006
4	February 2006
1	January 2006
7	December 2005
1	November 2005
8	October 2005
1	September 2005
8	August 2005
31	July 2005
23	June 2005
4	May 2005
15	April 2005
24	March 2005
26	February 2005
14	January 2005
11	December 2004
10	November 2004
17	October 2004
16	September 2004
31	August 2004
3	July 2004
16	June 2004
26	May 2004
37	April 2004
1	March 2004
4	February 2004