R-Calculus, IV: Propositional Logic. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 2023
- Brossura
- Nuovo
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Venditore AbeBooks dal 25 marzo 2015
Condizione: Nuovo
EUR 62,03
Descrizione dell’articolo da parte del venditore
In English.
Codice articolo ria9789811986345_new
- Titolo
- R-Calculus, IV: Propositional Logic
- Autore
- Li, Wei; Sui, Yuefei
- Editore
- Springer
- Anno di pubblicazione
- 2023
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 9811986347
- ISBN 13
- 9789811986345
- Peso dell'articolo
- 501 grammi
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.
This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
"Riassunto" può appartenere a un’altra edizione di questo titolo.