R-Calculus, III: Post Three-Valued Logic

Yuefei Sui, Wei Li

PDF
ca. 171,19 €
Amazon iTunes Thalia.de Hugendubel Bücher.de ebook.de kobo Osiander Google Books Barnes&Noble bol.com Legimi yourbook.shop Kulturkaufhaus ebooks-center.de
* Affiliatelinks/Werbelinks
Hinweis: Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.

Springer Nature Singapore img Link Publisher

Naturwissenschaften, Medizin, Informatik, Technik / Informatik

Beschreibung

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. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. 

This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 

Weitere Titel von diesem Autor
Weitere Titel in dieser Kategorie
Cover Genesis
Genesis
Eric Schmidt
12,99 €

Kundenbewertungen

Schlagwörter

propositional logic, Completeness, Gentzen deduction system, tableau-based, three-valued logics, Soundness, three-valued logic, R-calculus, AGM postulates, Tableau and Sequents, logic programming, Deduction system, Post three-valued logic, semantic networks, Belief revision, propositional modal logic, sequent-based, description logics