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 [...] ha aperto la strada al sorprendente teorema con cui Alasdair Urquhart ha dimostrato l'indecidibilità di R, E e di H. von Wright, Kanger e Keith Lehrer, l'implicazione connessiva di Thomas Nelson, Richard B. Angell e McCall. Quest'ultima è basata ...
Leggi Tutto