@article{1461859,
      author = {Li, Wei. and Sui, Yuefei.},
      url = {http://library.usi.edu/record/1461859},
      title = {R-calculus., IV,: Propositional logic /},
      publisher = {Springer,},
      abstract = {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.},
      doi = {https://doi.org/10.1007/978-981-19-8633-8},
      recid = {1461859},
      pages = {1 online resource},
      address = {Singapore :},
      year = {2023},
}