R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Libros - Springer Verlag, Singapore - 9789811942693 - 20 de noviembre de 2022
En caso de que portada y título no coincidan, el título será el correcto

R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Wei Li
Añadir a tu lista de deseos de iMusic

Aún no valorado

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.


273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 20 de noviembre de 2022
ISBN13 9789811942693
Editores Springer Verlag, Singapore
Páginas 273
Dimensiones 150 × 220 × 20 mm   ·   600 g

Mas por Wei Li

Mostrar todo

Más del mismo editor