bokomslag R-Calculus, IV: Propositional Logic
Data & IT

R-Calculus, IV: Propositional Logic

Wei Li Yuefei Sui

Inbunden

2909:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 252 sidor
  • 2023
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.
  • Författare: Wei Li, Yuefei Sui
  • Format: Inbunden
  • ISBN: 9789811986321
  • Språk: Engelska
  • Antal sidor: 252
  • Utgivningsdatum: 2023-03-29
  • Förlag: Springer Verlag, Singapore