Vai al contenuto principale della pagina
Autore: |
Li Wei
![]() |
Titolo: |
R-Calculus, IV : propositional logic / / Wei Li and Yuefei Sui
![]() |
Pubblicazione: | Singapore : , : Springer, , [2023] |
©2023 | |
Edizione: | 1st ed. 2023. |
Descrizione fisica: | 1 online resource (264 pages) |
Disciplina: | 810 |
Soggetto topico: | Propositional calculus |
Persona (resp. second.): | SuiYuefei |
Nota di bibliografia: | Includes bibliographical references. |
Nota di contenuto: | Introduction -- R-calculus for simplified propositional logics -- R-calculi for tableau/Gentzen deduction systems -- R-calculi RQ1Q2/RQ1Q2 -- R-calculi RQ1iQ2j/RQ1iQ2j -- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j -- R-calculi for supersequents -- R-calculi for propositional logic. |
Sommario/riassunto: | 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. . |
Titolo autorizzato: | R-Calculus, IV ![]() |
ISBN: | 9789811986338 |
9789811986321 | |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910683352003321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |