R-Calculus, II: Logiki wielowartościowe

R-Calculus, II: Logiki wielowartościowe (Wei Li)

Oryginalny tytuł:

R-Calculus, II: Many-Valued Logics

Zawartość książki:

1 Wprowadzenie 111. 1 Rewizja przekonań........................... 111. 2 R-calculus............................. 131. 3 Zawartość pierwszego tomu................... 141. 4 Zawartość tego tomu..................... 171. 5 Notacje............................. 21.

2 R-Kalkulator dla logiki propozycjonalnej 242. 1 Podstawowe definicje......................... 252. 2 Monotoniczne systemy dowodu tablicowego................ 262. 2. 1 System dowodu Tableau Tf................ 262. 2. 2 System dowodu tablicowego Tt................ 292. 3 Niemonotoniczne systemy dowodu Tableau.............. 312. 3. 1 System dowodu Tableau St................. 322. 3. 2 System dowodu Tableau Sf................. 342. 4 R-calculi.............................. 352. 4. 1 R-kalkulatory Rt....................... 362. 4. 2 R-kalkulatory Rf....................... 402. 5 Rzutowanie R-kalkulatorów na systemy dowodowe tableau......... 412. 6 Uwagi............................... 43.

3 R-kalkulatory dla L3-wartościowej logiki propozycjonalnej 453. 1 Podstawowe definicje......................... 463. 2 Monotoniczne systemy dowodu tablicowego................ 493. 2. 1 System dowodu Tableau Tt................ 493. 2. 2 System dowodu Tableau Tm................ 503. 2. 3 System dowodu Tableau Tf................ 513. 3 Niemonotoniczne systemy dowodu Tableau.............. 523. 3. 1 System dowodu Tableau St................. 543. 3. 2 System dowodu Tableau Sm................. 553. 3. 3 System dowodu Tableau Sf................. 553. 4 R-calculi.............................. 563. 4. 1 R-kalkulatory Rt....................... 573. 4. 2 R-kalkulatory Rm....................... 603. 4. 3 R-calculus Rf....................... 633. 5 Spełnialność i niespełnialność................ 653. 5. 1 t-spełnialność i t-niespełnialność.......... 653. 5. 2 m-spełnialność i m-niespełnialność.......... 673. 5. 3 f-spełnialność i f-niespełnialność.......... 683. 6 Rzutowanie R-kalkulików na systemy dowodowe tableau......... 703. 7 Uwagi............................... 71.

4 R-Calculus For L3-Valued PL, II 754. 1 Monotoniczne systemy dowodu tablicowego................ 754. 1. 1 System dowodu Tableau Tt................ 76 4. 1. 2 System dowodu Tableau Tm................ 774. 1. 3 System dowodu Tableau Tf................ 784. 2 Niemonotoniczne systemy dowodu Tableau.............. 794. 2. 1 System dowodu Tableau St................. 794. 2. 2 System dowodu Tableau Sm................. 804. 2. 3 System dowodu Tableau Sf................. 814. 3 R-calculi.............................. 824. 3. 1 R-kalkulatory Rt....................... 824. 3. 2 R-kalkulatory Rm....................... 85.