R-kalkulus, II: Mnohohodnotová logika

Pôvodný názov:

R-Calculus, II: Many-Valued Logics

Obsah knihy:

1 Úvod 111. 1 Revízia viery........................... 111. 2 R-kalkulus............................. 131. 3 Obsah v prvom zväzku................... 141. 4 Obsah v tomto zväzku..................... 171. 5 Poznámky............................. 21.

2 R-kalkul pre výrokovú logiku 242. 1 Základné definície......................... 252. 2 Monotónne tabuľkové dôkazové systémy................ 262. 2. 1 Tableau dôkazový systém Tf................ 262. 2. 2 Tableau dôkazový systém Tt................ 292. 3 Nemonotónne tableau dôkazové systémy.............. 312. 3. 1 Tableau dôkazový systém St................. 322. 3. 2 Tableau dôkazový systém Sf................. 342. 4 R-kalkule.............................. 352. 4. 1 R-kalkul Rt....................... 362. 4. 2 R-kalkul Rf....................... 402. 5 Projektovanie R-kalkule do tabuľkových dôkazových systémov......... 412. 6 Poznámky............................... 43.

3 R-kalkul pre L3-hodnotovú výrokovú logiku 453. 1 Základné definície......................... 463. 2 Monotónne tabuľkové dôkazové systémy................ 493. 2. 1 Tableau dôkazový systém Tt................ 493. 2. 2 Tableau dôkazový systém Tm................ 503. 2. 3 Tableau dôkazový systém Tf................ 513. 3 Nemonotónne tableau dôkazové systémy.............. 523. 3. 1 Tableau dôkazový systém St................. 543. 3. 2 Tableau dôkazový systém Sm................. 553. 3. 3 Tableau dôkazový systém Sf................. 553. 4 R-kalkule.............................. 563. 4. 1 R-kalkul Rt....................... 573. 4. 2 R-kalkul Rm....................... 603. 4. 3 R-kalkul Rf....................... 633. 5 Uspokojivosť a neuspokojivosť................ 653. 5. 1 t-uspokojiteľnosť a t-neuspokojiteľnosť.......... 653. 5. 2 m-uspokojiteľnosť a m-neuspokojiteľnosť.......... 673. 5. 3 f-uspokojiteľnosť a f-neuspokojiteľnosť.......... 683. 6 Projektovanie R-kalkuúl do tabuľkových dôkazových systémov......... 703. 7 Poznámky............................... 71.

4 R-kalkul pre L3-hodnotové PL, II 754. 1 Monotónne tabuľkové dôkazové systémy................ 754. 1. 1 Tableau dôkazový systém Tt................ 76 4. 1. 2 Tableau dôkazový systém Tm................ 774. 1. 3 Tableau dôkazový systém Tf................ 784. 2 Nemonotónne tableau dôkazové systémy.............. 794. 2. 1 Tableau dôkazový systém St................. 794. 2. 2 Tableau dôkazový systém Sm................. 804. 2. 3 Tableau dôkazový systém Sf................. 814. 3 R-kalkule.............................. 824. 3. 1 R-kalkul Rt....................... 824. 3. 2 R-kalkul Rm....................... 85.