Linear logic sequent prover & linear logic programming language
I would like to annouce two Web pages related to linear logic.
The first one is a linear logic sequent prover. This CGI program
searches a cut-free proof of the given two-sided sequent of linear
logic. Its functionality is limited, but maybe useful for the people
studying linear logic. The URL is:
The second one is a compiler system of a linear logic programming
language. The language is a subset of Lolli designed by J. Hodas and
D. Miller. The URL is:
Any comments and suggestions are welcome!
Naoyuki Tamura (firstname.lastname@example.org)
Department of Computer and Systems Engineering
Faculty of Engineering, Kobe University, Rokkodai, Nada, Kobe 657 JAPAN