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 una relazione di accessibilità triadica la quale, come è stato subito osservato, è analoga alla relazione di collinearità tra i punti di un piano. Questa analogia ha aperto la strada al sorprendente teorema con cui Alasdair Urquhart ...
Leggi Tutto