Calcolo R, II: Logiche a molte valenze

Titolo originale:

R-Calculus, II: Many-Valued Logics

Contenuto del libro:

1 Introduzione 111. 1 Revisione delle credenze........................... 111. 2 Il calcolo R............................. 131. 3 Contenuti del primo volume................... 141. 4 Contenuto di questo volume..................... 171. 5 Notazioni............................. 21.

2 Calcolo R per la logica proposizionale 242. 1 Definizioni di base......................... 252. 2 Sistemi di dimostrazione tableau monotonici................ 262. 2. 1 Sistema di prove tableau Tf................ 262. 2. 2 Sistema di prove tableau Tt................ 292. 3 Sistemi di dimostrazione tableau non monotonici.............. 312. 3. 1 Sistema di prove tableau St................. 322. 3. 2 Sistema di prove tableau Sf................. 342. 4 R-calculi.............................. 352. 4. 1 Calcolo R Rt....................... 362. 4. 2 R-calcolo Rf....................... 402. 5 Proiezione di R-calculi in sistemi di prove tableau......... 412. 6 Note............................... 43.

3 R-calcolo per la logica proposizionale a valori L3 453. 1 Definizioni di base......................... 463. 2 Sistemi di prova tableau monotonici................ 493. 2. 1 Sistema di dimostrazione tableau Tt................ 493. 2. 2 Sistema di prove tableau Tm_................ 503. 2. 3 Sistema di prove Tableau Tf................ 513. 3 Sistemi di dimostrazione tableau non monotonici.............. 523. 3. 1 Sistema di prove tableau St................. 543. 3. 2 Sistema di prove tableau Sm................. 553. 3. 3 Sistema di prove Tableau Sf................. 553. 4 R-calculi.............................. 563. 4. 1 Calcolo R Rt....................... 573. 4. 2 Calcolo RCOPY00 603. 4. 3 R-calcolo Rf....................... 633. 5 Soddisfacibilità e insoddisfacibilità................ 653. 5. 1 Soddisfacibilità e insoddisfacibilità t.......... 653. 5. 2 m-satisfiabilità e m-insoddisfacibilità.......... 673. 5. 3 f-satisfiabilità e f-insatisfiabilità.......... 683. 6 Proiezione di calcoli R in sistemi di dimostrazione tableau......... 703. 7 Note............................... 71.

4 Calcolo R per PL a valori L3, II 754. 1 Sistemi di prove monotone tableau................ 754. 1. 1 Sistema di prove tableau Tt................ 76 4. 1. 2 Sistema di prove tableau Tm................ 774. 1. 3 Sistema di prove Tableau Tf................ 784. 2 Sistemi di dimostrazione tableau non monotonici.............. 794. 2. 1 Sistema di prove tableau St................. 794. 2. 2 Sistema di prove tableau Sm................. 804. 2. 3 Sistema di prove Tableau Sf................. 814. 3 R-calculi.............................. 824. 3. 1 Calcolo R Rt....................... 824. 3. 2 R-calcolo RCOPY00 85.