Título original:
R-Calculus, II: Many-Valued Logics
Contenido del libro:
Este segundo volumen de la serie de libros muestra que el R-calculus es una combinación de un sistema de prueba tableau monotónico y otro no monotónico. El R-calculus es un sistema de deducción de tipo Gentzen que es no monotónico, y es un operador concreto de revisión de creencias que se demuestra que satisface los postulados AGM y los postulados DP.
Se discuten las propiedades algebraicas y lógicas de los sistemas de prueba tableau y de los R-calculi en lógicas multivaluadas. Este libro ofrece una rica mezcla de teoría y práctica.
Es adecuado para estudiantes, investigadores y profesionales del campo de la lógica. También es muy útil para todos aquellos interesados en datos, digitalización y corrección y consistencia de la información, en lógicas modales, lógicas no monotónicas, lógicas decidibles/decidibles, programación lógica, lógicas de descripción, lógicas por defecto y redes de herencia semántica.
Otros datos del libro:
| ISBN: | 9789811692963 |
| Autor: | |
| Editorial: | |
| Idioma: | inglés |
| Encuadernación: | Tapa blanda |
| Año de publicación: | 2023 |
| Número de páginas: | 271 |
Compra:
Actualmente disponible, en stock.
