R-Calculus, IV: Propositional Logic
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...
Bewaard in:
| Hoofdauteurs: | , |
|---|---|
| Coauteur: | |
| Formaat: | Elektronisch E-boek |
| Taal: | Engels |
| Gepubliceerd in: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2023.
|
| Editie: | 1st ed. 2023. |
| Reeks: | Perspectives in Formal Induction, Revision and Evolution,
|
| Onderwerpen: | |
| Online toegang: | https://doi.org/10.1007/978-981-19-8633-8 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
| Samenvatting: | 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. . |
|---|---|
| Fysieke beschrijving: | 1 online resource (XIII, 252 p. 2 illus.). 1 illus. in color. |
| ISBN: | 9789811986338 |
| ISSN: | 2731-3697 |
| DOI: | 10.1007/978-981-19-8633-8 |