Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning
Ce livre est une introduction aux logiques annotées.
Il présente les fondements logiques des logiques annotées, discute de certaines applications intéressantes de ces logiques et inclut également les contributions des auteurs aux logiques annotées. L'idée centrale du livre est de montrer comment la logique annotée peut être appliquée comme outil pour résoudre des problèmes de technologie et de science appliquée.
Le livre intéressera les logiciens purs et appliqués, les philosophes et les informaticiens en tant que monographie sur une sorte de logique paraconsistante. Mais le profane tirera également profit de sa lecture.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)