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 [...] trivalente di Łukasiewicz ha avuto applicazioni interessanti diverse da quelle da lui intese, come ha mostrato HansReichenbach nella trattazione della meccanica quantistica. In questo contesto è assegnato un terzo valore di verità alle proposizioni ...
Leggi Tutto