R-Calculus, IV : propositional logic / / Wei Li and Yuefei Sui
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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 |
Serie:
Perspectives in Formal Induction, Revision and Evolution, . 2731-3697