Capa do artigo R-Calculus, Iii: Post Three-Valued Logic
10% OFF

R-Calculus, Iii: Post Three-Valued Logic eBook

by Yuefei Sui e Wei Li
language: english
Publisher: Springer Nature Singapore, November of 2022 ‧
198,09€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

R-Calculus, Iii: Post Three-Valued Logic

by Yuefei Sui e Wei Li

Property Description
ISBN: 9789811942709
Publisher: Springer Nature Singapore
Release Date: November of 2022
Language: English
Format: eBook
Collection: Perspectives In Formal Induction, Revision And Evolution
Categories: eBooks in English > Science > Mathematics
EAN: 9789811942709
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

YUEFEI SUI

SEE MORE TITLES BY THIS AUTHOR

WEI LI

SEE MORE TITLES BY THIS AUTHOR