Titre original :
R-Calculus, II: Many-Valued Logics
Contenu du livre :
Ce deuxième volume de la série de livres montre que le R-calcul est une combinaison d'un système de preuve par tableau monotone et d'un système non monotone. Le R-calcul est un système de déduction de type Gentzen qui est non-monotone, et est un opérateur concret de révision des croyances dont il est prouvé qu'il satisfait les postulats AGM et les postulats DP.
Il discute des propriétés algébriques et logiques des systèmes de preuve par tableau et des R-calculs dans les logiques multivaluées. Ce livre offre un riche mélange de théorie et de pratique.
Il convient aux étudiants, aux chercheurs et aux praticiens dans le domaine de la logique. Il est également très utile pour tous ceux qui s'intéressent aux données, à la numérisation, à l'exactitude et à la cohérence de l'information, aux logiques modales, aux logiques non monotones, aux logiques décidables et indécidables, à la programmation logique, aux logiques de description, aux logiques par défaut et aux réseaux d'héritage sémantique.
Autres informations sur le livre :
| ISBN : | 9789811692963 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2023 |
| Nombre de pages : | 271 |
Achat:
Actuellement disponible, en stock.
