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

[Raffaele Arecchi]

URL:
  <http://savannah.gnu.org/task/?7325>

                 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

    _______________________________________________________

Details:

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
Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=9521> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=9521>


= 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:
http://aumat.unipv.it/~arecchi/lkalculus-0.1.tar.gz



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






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?7325>

_______________________________________________
  Messaggio inviato con/da Savannah
  http://savannah.gnu.org/