La matematica dei modelli di riferimento - The Mathematics of the Models of Reference
La Matematica dei Modelli di Riferimento è un'esposizione...
La logica temporale nel Talmud - Temporal Logic in the Talmud
Questo libro studia la logica temporale talmudica e la confronta con la logica del tempo nel...
Karl Popper. Un bilancio del centenario. Volume III - Scienza - Karl Popper. A Centenary Assessment...
Sir Karl Popper (1902-1994) è uno dei filosofi più...
Ragionamento: Giochi, cognizione, logica - Reasoning: Games, Cognition, Logic
Questo volume contiene i lavori presentati alla Poznań Reasoning...
Hao Wang. Logico e filosofo - Hao Wang. Logician and Philosopher
Hao Wang (1921-1995) è stato un prolifico ricercatore e scrittore di logica matematica,...
Approfondimento di Logica Formale: Vol. II: Semantica e teoria della prova per la logica dei...
Questo testo, secondo volume di un'opera in due...
Manuale di logica deontica e sistemi normativi - Handbook of Deontic Logic and Normative...
L'Handbook of Deontic Logic and Normative Systems...
Ponti dalla logica classica alla logica non monotonica - Bridges from Classical to Nonmonotonic...
Immaginate un robot che cerca di valutare una...
Incoerenza Robustezza - Inconsistency Robustness
La robustezza delle incoerenze è la prestazione del sistema informativo di fronte a incoerenze continuamente pervasive,...
