Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] , impiegando tavole che estendono quelle di Łukasiewicz con più tipi di negazione e di implicazione. Nel 1936 GarrettBirkhoff e John von Neumann introducevano, ancora per lameccanica quantistica, una logica alternativa in cui continua a valere ...
Leggi Tutto