[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #7325] Submission of LKalculus

From: Raffaele Arecchi
Subject: [Savannah-register-public] [task #7325] Submission of LKalculus
Date: Sat, 22 Sep 2007 18:31:19 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; it; rv: Gecko/20070718 Fedora/ Firefox/


                 Summary: Submission of LKalculus
                 Project: Savannah Administration
            Submitted by: pappus
            Submitted on: sabato 22/09/2007 alle 18:31
         Should Start On: sabato 22/09/2007 alle 00:00
   Should be Finished on: martedì 02/10/2007 alle 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00



A new project has been registered at Savannah 
This project account will remain inactive until a site admin approves or
discards the registration.

= Registration Administration =

While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
<> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration

= Registration Details =

* Name: *LKalculus*
* System Name:  *lkalculus*
* Type: non-GNU software & documentation
* License: GNU General Public License v2 or later


==== Description: ====
LKalculus is a theorem prover for LK theory (classic logic) written in Common
LISP. Its algorithm is based on the Oiva Ketonen's rules which are a variant
of the Gentzen's sequents method. It should work for any Common LISP
implementation, but it is tested to run on CLISP and CMUCL.

At the moment, the code in hosted in my web page at University of Pavia.
Here is a link for the complete source code:

==== Other Software Required: ====
a Common Lisp implementation, such as CLISP, CMUCL.


Reply to this item at:


  Messaggio inviato con/da Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]