|
|
|
|
| LEADER |
02125nmm a2200385 u 4500 |
| 001 |
EB002152427 |
| 003 |
EBX01000000000000001290553 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
230403 ||| eng |
| 020 |
|
|
|a 9789811986338
|
| 100 |
1 |
|
|a Li, Wei
|
| 245 |
0 |
0 |
|a R-Calculus, IV: Propositional Logic
|h Elektronische Ressource
|c by Wei Li, Yuefei Sui
|
| 250 |
|
|
|a 1st ed. 2023
|
| 260 |
|
|
|a Singapore
|b Springer Nature Singapore
|c 2023, 2023
|
| 300 |
|
|
|a XIII, 252 p. 2 illus., 1 illus. in color
|b online resource
|
| 505 |
0 |
|
|a 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
|
| 653 |
|
|
|a Mathematics of Computing
|
| 653 |
|
|
|a Computer science / Mathematics
|
| 653 |
|
|
|a Mathematical logic
|
| 653 |
|
|
|a Logic in AI.
|
| 653 |
|
|
|a Formal Languages and Automata Theory
|
| 653 |
|
|
|a Machine theory
|
| 653 |
|
|
|a Mathematical Modeling and Industrial Mathematics
|
| 653 |
|
|
|a Mathematical Logic and Foundations
|
| 653 |
|
|
|a Logic programming
|
| 653 |
|
|
|a Mathematical models
|
| 700 |
1 |
|
|a Sui, Yuefei
|e [author]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 490 |
0 |
|
|a Perspectives in Formal Induction, Revision and Evolution
|
| 028 |
5 |
0 |
|a 10.1007/978-981-19-8633-8
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-981-19-8633-8?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 005.131
|
| 520 |
|
|
|a 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.
|