Titre original :
Algebraic Methods in Philosophical Logic
Contenu du livre :
Ce texte complet démontre comment diverses notions de logique peuvent être considérées comme des notions d'algèbre universelle.
Il s'adresse principalement aux logisticiens en mathématiques, philosophie, informatique et linguistique qui s'intéressent à la logique algébrique, mais il est également accessible à ceux qui n'ont pas de formation en logistique. Le texte part du principe que les résultats algébriques standard (représentations) se traduisent par des résultats logiques standard (complétude) et identifie des classes d'algèbres appropriées pour les études de logique classique et non classique, notamment : les gaggles, les distributoïdes, les gaggles partiels et les tonoïdes.
L'idée selon laquelle la logique est fondamentalement basée sur l'information, ses principaux éléments étant les propositions, qui peuvent être considérées comme des ensembles d'états d'information, est également abordée. Les logiques sont considérées dans différents sens, tels que les systèmes de théorèmes, les relations de conséquences et les relations de conséquences symétriques.
Autres informations sur le livre :
| ISBN : | 9780198531920 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 2001 |
| Nombre de pages : | 486 |
Achat:
Actuellement disponible, en stock.
