Titre original :
Proof Theory of N4-Paraconsistent Logics
Contenu du livre :
Le présent ouvrage est la première monographie à se concentrer sur la théorie de la preuve des logiques paraconsistantes dans le voisinage de la logique paraconsistante constructive à quatre valeurs N4 de David Nelson. Le volume rassemble un certain nombre d'articles que les auteurs ont écrits séparément ou conjointement sur divers systèmes de logique tolérante à l'incohérence.
Le matériel couvre la théorie de la preuve structurelle de - N4, - ses fragments, y compris la logique d'implication du premier degré, - les logiques apparentées, telles que les logiques de trilattice, les systèmes connexifs, les systèmes de logique paraconsistante symétrique et duale, et les variations de la logique bi-intuitionniste, - les logiques temporelles paraconsistantes, - les sous-systèmes structurels de N4, tels que les logiques linéaires intuitionnistes paraconsistantes, les logiques paraconsistantes basées sur les quantales involutives, et les logiques de Lambek paraconsistantes. Bien que la théorie de la preuve de N4 et des logiques liées à N4 soit le thème central de la présente monographie, les modèles et la sémantique de la théorie des modèles jouent également un rôle important dans la présentation. Les modèles relationnels de type Kripke qui sont traités fournissent un aperçu motivant et intuitivement attrayant des logiques pour lesquelles il est démontré qu'elles sont saines et complètes.
Néanmoins, l'accent est mis sur les systèmes de preuve de type Gentzen - en particulier les calculs séquentiels d'un type standard et moins standard - pour les logiques paraconsistantes, et l'élimination des coupures et ses conséquences sont un sujet central tout au long de l'ouvrage. Un élément unificateur de la présentation est l'application répétée des théorèmes d'intégration afin de transférer les résultats d'autres logiques telles que la logique intuitionniste au cas paraconsistant.
Autres informations sur le livre :
| ISBN : | 9781848901674 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2015 |
| Nombre de pages : | 414 |
Achat:
Actuellement disponible, en stock.
