R-Calculus, II: Vielwertige Logiken

Originaltitel:

R-Calculus, II: Many-Valued Logics

Inhalt des Buches:

1 Einleitung 111. 1 Glaubensüberprüfung........................... 111. 2 R-Kalkül............................. 131. 3 Inhalt des ersten Bandes................... 141. 4 Inhalt in diesem Band..................... 171. 5 Notationen............................. 21.

2 R-Kalkül für Aussagenlogik 242. 1 Grundlegende Definitionen......................... 252. 2 Monotone Tableau-Beweis-Systeme................ 262. 2. 1 Tableau-Beweis-System Tf................ 262. 2. 2 Tableau-Beweis-System Tt................ 292. 3 Nicht-monotone Tableau-Beweis-Systeme.............. 312. 3. 1 Tableau-Beweis-System St................. 322. 3. 2 Tableau-Beweis-System Sf................. 342. 4 R-Calculi.............................. 352. 4. 1 R-Kalkül Rt....................... 362. 4. 2 R-Kalkül Rf....................... 402. 5 Projektion von R-Kalkülen auf Tableau-Beweis-Systeme......... 412. 6 Anmerkungen............................... 43.

3 R-Kalkül für L3-bewertete Aussagenlogik 453. 1 Grundlegende Definitionen......................... 463. 2 Monotone Tableau-Beweis-Systeme................ 493. 2. 1 Tableau-Beweis-System Tt................ 493. 2. 2 Tableau-Beweis-System Tm_................ 503. 2. 3 Tableau-Beweis-System Tf................ 513. 3 Nichtmonotone Tableau-Beweis-Systeme.............. 523. 3. 1 Tableau-Beweis-System St................. 543. 3. 2 Tableau-Beweis-System Sm................. 553. 3. 3 Tableau-Beweis-System Sf................. 553. 4 R-Calculi.............................. 563. 4. 1 R-Kalkül Rt....................... 573. 4. 2 R-Kalkül Rm....................... 603. 4. 3 R-Kalkül Rf....................... 633. 5 Erfüllbarkeit und Unerfüllbarkeit................ 653. 5. 1 t-Satisfiabilität und t-Unsatisfiabilität.......... 653. 5. 2 m-satisfiability und m-unsatisfiability.......... 673. 5. 3 f-satisfiability und f-unsatisfiability.......... 683. 6 Projektion von R-Kalkülen auf Tableau-Beweis-Systeme......... 703. 7 Anmerkungen............................... 71.

4 R-Kalkül für L3-wertiges PL, II 754. 1 Monotone Tableau-Beweis-Systeme................ 754. 1. 1 Tableau-Beweis-System Tt................ 76 4. 1. 2 Tableau-Beweis-System Tm................ 774. 1. 3 Tableau-Beweis-System Tf................ 784. 2 Nichtmonotone Tableau-Beweis-Systeme.............. 794. 2. 1 Tableau-Beweis-System St................. 794. 2. 2 Tableau-Beweis-System Sm................. 804. 2. 3 Tableau-Beweis-System Sf................. 814. 3 R-Calculi.............................. 824. 3. 1 R-Kalkül Rt....................... 824. 3. 2 R-Kalkül Rm....................... 85.

Weitere Daten des Buches:

• ISBN: 9789811692932
• Autor: Wei Li
• Verlag: Springer Nature
• Sprache: Englisch
• Einband: Hardcover