R-Calculus, II: Logica multor valori

Titlul original:

R-Calculus, II: Many-Valued Logics

Conținutul cărții:

1 Introducere 111. 1 Revizuirea credinței........................... 111. 2 R-calcul............................. 131. 3 Cuprins în primul volum................... 141. 4 Cuprins în acest volum..................... 171. 5 Notații............................. 21.

2 R-Calculus pentru logica propozițională 242. 1 Definiții de bază......................... 252. 2 Monotonic tableau proof systems................ 262. 2. 1 Tableau proof system Tf................ 262. 2. 2 Sistemul de demonstrație de tablou Tt................ 292. 3 Sisteme de demonstrație de tablou nonmonotone.............. 312. 3. 1 Sistemul de demonstrație de tablou St................. 322. 3. 2 Sistem de demonstrație tabelară Sf................. 342. 4 R-calculi.............................. 352. 4. 1 R-calcul Rt....................... 362. 4. 2 R-calcul Rf....................... 402. 5 Proiectarea calculelor R în sisteme de demonstrație tablou......... 412. 6 Note............................... 43.

3 R-Calcul pentru logica propozițională cu valori L3 453. 1 Definiții de bază......................... 463. 2 Sisteme de demonstrație cu tablou monoton................ 493. 2. 1 Sistemul de demonstrație tablou Tt................ 493. 2. 2 Sistemul de demonstrație de tablou Tm................ 503. 2. 3 Sistem de demonstrație tabelară Tf................ 513. 3 Sisteme de demonstrație de tablou nonmonoton.............. 523. 3. 1 Sistem de demonstrație tabelară St................. 543. 3. 2 Sistemul de demonstrație tabelar Sm................. 553. 3. 3 Sistem de demonstrație tabelară Sf................. 553. 4 R-calculi.............................. 563. 4. 1 R-calcul Rt....................... 573. 4. 2 R-calcul Rm....................... 603. 4. 3 R-calcul Rf....................... 633. 5 Satisfiabilitate și nesatisfiabilitate................ 653. 5. 1 t-satisfiability și t-unsatisfiability.......... 653. 5. 2 m-satisfiability și m-unsatisfiability.......... 673. 5. 3 f-satisfiabilitate și f-unsatisfiabilitate.......... 683. 6 Proiectarea calculelor R în sisteme de demonstrație tablou......... 703. 7 Note............................... 71.

4 R-Calcul pentru PL cu valori L3, II 754. 1 Sisteme monotone de probe de tablou................ 754. 1. 1 Sistemul de demonstrație de tablou Tt................ 76 4. 1. 2 Sistem de demonstrație tabelară Tm................ 774. 1. 3 Sistem de demonstrație tabelară Tf................ 784. 2 Sisteme de demonstrație de tablou nonmonoton.............. 794. 2. 1 Sistem de demonstrație tabelară St................. 794. 2. 2 Tableau proof system Sm................. 804. 2. 3 Sistemul de probe de tablou Sf................. 814. 3 R-calculi.............................. 824. 3. 1 R-calculus Rt....................... 824. 3. 2 R-calcul Rm....................... 85.