Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics
Cette monographie présente une théorie générale des logiques faiblement implicatives, une famille couvrant un grand nombre de logiques non-classiques étudiées dans la littérature, se concentrant principalement sur l'étude abstraite de la relation entre les logiques et leur sémantique algébrique. Il peut également servir d'introduction à la logique algébrique (abstraite), à la fois propositionnelle et du premier ordre, en accordant une attention particulière au rôle de l'implication, des connecteurs en treillis et résidués, et des disjonctions généralisées.
Sur la base de leurs travaux récents, les auteurs développent un cadre uniforme puissant pour l'étude des logiques non-classiques. Dans un style autonome et didactique, à partir de notions très élémentaires, ils construisent une théorie générale avec un nombre substantiel de résultats abstraits.
La théorie est ensuite appliquée pour obtenir de nombreux résultats pour des familles importantes de logiques et leurs contreparties algébriques, en particulier pour les logiques superintuitionnistes, modales, substructurales, floues et pertinentes. Ce livre peut intéresser un large public, en particulier les étudiants et les chercheurs dans les domaines des mathématiques, de la philosophie, de l'informatique ou des domaines connexes, à la recherche d'une introduction à une théorie générale des logiques non-classiques et de leur sémantique algébrique.
© 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)