Titre original :
Dualities for Structures of Applied Logics
Contenu du livre :
Ce livre fournit un cadre pour présenter les algèbres et les cadres apparaissant comme des structures sémantiques pour les langages formels et pour prouver les relations entre les structures. Pour ce faire, un cadre discret, appelé dualité discrète, est utilisé plutôt qu'un cadre topologique.
Les idées issues des dualités et représentations classiques de Stone, Priestley et Urquhart sont appliquées de manière à ce que la topologie ne fasse partie d'aucune des structures ou relations sous-jacentes. Une contribution clé du livre est la formulation du concept de dualité via la vérité pour exprimer qu'une classe d'algèbres et une classe de cadres déterminent des notions équivalentes de vérité pour un langage formel donné.
La dualité discrète et la dualité par la vérité sont appliquées à un grand nombre d'études de cas présentées dans trois parties principales, à savoir les classes de treillis booléens, les treillis distributifs et les treillis généraux, qui ne sont pas nécessairement distributifs, respectivement. Le livre est autonome et tous les résultats sont prouvés avec suffisamment de détails pour permettre une vérification aisée.
Autres informations sur le livre :
| ISBN : | 9781848901810 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2015 |
| Nombre de pages : | 396 |
Achat:
Actuellement disponible, en stock.
