Hao Wang. Logicien et philosophe - Hao Wang. Logician and Philosopher
Hao Wang (1921-1995) était un chercheur et un écrivain prolifique dans les domaines...
La logique formelle à la portée de tous : Vol II : Sémantique et théorie de la preuve pour la...
Ce texte, volume II d'un ouvrage en deux volumes,...
Manuel de logique déontique et de systèmes normatifs - Handbook of Deontic Logic and Normative...
Le Handbook of Deontic Logic and Normative Systems...
Passerelles entre la logique classique et la logique non monotone - Bridges from Classical to...
Imaginez un robot qui tente d'évaluer une...
Incohérence Robustesse - Inconsistency Robustness
La robustesse à l'incohérence est la performance du système d'information face à des incohérences continuellement...
Une nouvelle approche de la logique quantique - A New Approach to Quantum Logic
Cette monographie est une enquête sur certaines nouvelles structures...
Découvrir la logique formelle : Vol 1 : Théorie et procédures de décision pour la logique...
Ce texte, volume I d'un ouvrage en deux volumes,...
Les années témoins : Essais en l'honneur de Petr Hajek - Witnessed Years: Essays in Honour of Petr...
Les lecteurs de ce volume sont invités à un voyage...
Logiquement parlant. Un hommage à Marie Duz - Logically Speaking. A Festschrift for Marie...
Ce Festschrift est en l'honneur du Professeur Marie...
