In this paper we present CondLean 3.0, a theorem prover for propositional conditional logics CK, CK+ID, CK+MP, CK+CS, CK+CEM and some of their combinations. CondLean 3.0 implements sequent calculi for these logics. CondLean 3.0 improves CondLean and is developed following the methodology of leanTAP. It is implemented in SICStus Prolog and also comprises a graphical user interface implemented in JAVA. CondLean 3.0 can be downloaded at www.di.unito.it/∼pozzato/condlean3/
CondLean 3.0: Improving CondLean for Stronger Conditional Logics
POZZATO, GIAN LUCA
2005-01-01
Abstract
In this paper we present CondLean 3.0, a theorem prover for propositional conditional logics CK, CK+ID, CK+MP, CK+CS, CK+CEM and some of their combinations. CondLean 3.0 implements sequent calculi for these logics. CondLean 3.0 improves CondLean and is developed following the methodology of leanTAP. It is implemented in SICStus Prolog and also comprises a graphical user interface implemented in JAVA. CondLean 3.0 can be downloaded at www.di.unito.it/∼pozzato/condlean3/
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
TABLEAUX 2005.pdf
Accesso riservato
Tipo di file:
MATERIALE NON BIBLIOGRAFICO
Dimensione
346.1 kB
Formato
Adobe PDF
|
346.1 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
