LOGICA E INFORMATICA Carlo Cellucci I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] generale per le l. non-classiche. Un metodo alternativo a quello di risoluzione è il metodo dei tableaux introdotto da D. Prawitz (1960) sviluppando un metodo precedente di E. Beth (1955). Esso si applica a insiemi di formule qualsiasi e ha naturali ... Leggi Tutto