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.
1991
Mechanical theorem proving; many-valued logic; equational reasoning; completion-based theorem proving
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/16067
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact