R-kalkulus, II: Sokértékű logikák

Eredeti címe:

R-Calculus, II: Many-Valued Logics

Könyv tartalma:

1 Bevezetés 111. 1 A hit felülvizsgálata........................... 111. 2 R-számítás............................. 131. 3 Tartalom az első kötetben................... 141. 4 Tartalom ebben a kötetben..................... 171. 5 Jelölések............................. 21.

2 R-kalkulus a tételes logikához 242. 1 Alapvető definíciók......................... 252. 2 Monoton táblás bizonyítási rendszerek................ 262. 2. 1 Tableau bizonyítási rendszer Tf................ 262. 2. 2 Tableau bizonyítási rendszer Tt................ 292. 3 Nem monoton tableau bizonyítási rendszerek.............. 312. 3. 1 Tableau bizonyítási rendszer St................. 322. 3. 2 Tableau bizonyítási rendszer Sf................. 342. 4 R-calculi.............................. 352. 4. 1 R-kalkulus Rt....................... 362. 4. 2 R-számítás Rf....................... 402. 5 R-kalkulusok kivetítése táblás bizonyítási rendszerekre......... 412. 6 Jegyzetek............................... 43.

3 R-kalkulus az L3-értékes tételes logikához 453. 1 Alapdefiníciók......................... 463. 2 Monotonikus táblaképes bizonyítási rendszerek................ 493. 2. 1 Tableau bizonyítási rendszer Tt................ 493. 2. 2 Tableau bizonyítási rendszer Tm................ 503. 2. 3 Tableau bizonyítási rendszer Tf................ 513. 3 Nem monoton tableau bizonyítási rendszerek.............. 523. 3. 1 Tableau bizonyítási rendszer St................. 543. 3. 2 Tableau bizonyítási rendszer Sm................. 553. 3. 3 Tableau bizonyítási rendszer Sf................. 553. 4 R-calculi.............................. 563. 4. 1 R-kalkulus Rt....................... 573. 4. 2 R-kalkulus Rm....................... 603. 4. 3 R-számítás Rf....................... 633. 5 Kielégíthetőség és kielégíthetetlenség................ 653. 5. 1 t-kielégíthetőség és t-elégíthetetlenség.......... 653. 5. 2 m-kielégíthetőség és m-elégíthetetlenség.......... 673. 5. 3 f-kielégíthetőség és f-elégíthetetlenség.......... 683. 6 R-kalkulusok kivetítése táblás bizonyítási rendszerekre......... 703. 7 Jegyzetek............................... 71.

4 R-számítás L3-értékes PL-hez, II 754. 1 Monotonikus táblaképes bizonyítási rendszerek................ 754. 1. 1 Tableau bizonyítási rendszer Tt................ 76 4. 1. 2 Tableau bizonyítási rendszer Tm................ 774. 1. 3 Tableau bizonyítási rendszer Tf................ 784. 2 Nem monoton tableau bizonyítási rendszerek.............. 794. 2. 1 Tableau bizonyítási rendszer St................. 794. 2. 2 Tableau bizonyítási rendszer Sm................. 804. 2. 3 Tableau bizonyítási rendszer Sf................. 814. 3 R-calculi.............................. 824. 3. 1 R-kalkulus Rt....................... 824. 3. 2 R-kalkulus Rm....................... 85.