R-Calculus, IV: Propositional Logic Paperback / softback
by Wei Li, Yuefei Sui
Part of the Perspectives in Formal Induction, Revision and Evolution series
Paperback / softback
- Information
Description
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.
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:252 pages, 1 Illustrations, color; 1 Illustrations, black and white; XIII, 252 p. 2 illus., 1 illus.
- Publisher:Springer Verlag, Singapore
- Publication Date:30/03/2024
- Category:
- ISBN:9789811986352
Other Formats
- Hardback from £102.91
- EPUB from £127.08
£149.99
£102.91
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:252 pages, 1 Illustrations, color; 1 Illustrations, black and white; XIII, 252 p. 2 illus., 1 illus.
- Publisher:Springer Verlag, Singapore
- Publication Date:30/03/2024
- Category:
- ISBN:9789811986352