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 [...] che l'antecedente non implica necessariamente il conseguente. Secondo David K. Lewis la verità di un condizionale siffatto si più tipi di negazione e di implicazione. Nel 1936 Garrett Birkhoff e John von Neumann introducevano, ancora per lameccanica ...
Leggi Tutto