In the November 1990 issue of this Newsletter, Larry Wos described a problem in Lukasiewicz logic as a challenge problem for theorem provers. This note is intended to provide additional information to anyone interested in attacking the problem with an automated prover. We present three problems in Lukasiewicz logic and the results obtained so far in proving them automatically.
Problems in Lukasiewicz logic
BONACINA, Maria Paola
1991-01-01
Abstract
In the November 1990 issue of this Newsletter, Larry Wos described a problem in Lukasiewicz logic as a challenge problem for theorem provers. This note is intended to provide additional information to anyone interested in attacking the problem with an automated prover. We present three problems in Lukasiewicz logic and the results obtained so far in proving them automatically.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
AAR1991Lukasiewicz.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
118.12 kB
Formato
Adobe PDF
|
118.12 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
