R-Calculus, IV: Propositional Logic

Yuefei Sui, Wei Li

PDF
ca. 160,49
Amazon iTunes Thalia.de Weltbild.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 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. 

Weitere Titel in dieser Kategorie

Kundenbewertungen

Schlagwörter

Tableau Proof System, Axiomatic Deduction System, Belief Revision, Gentzen Deduction System, Natural Deduction System, Soundness, AGM Postulates, R-calculus, Propositional Logic, Completeness