Cálculo R, II: Lógica multivaluada

Título original:

R-Calculus, II: Many-Valued Logics

Contenido del libro:

1 Introducción 111. 1 Revisión de las creencias........................... 111. 2 R-cálculo............................. 131. 3 Contenido del primer volumen................... 141. 4 Contenido de este volumen..................... 171. 5 Notaciones............................. 21.

2 Cálculo R para la lógica proposicional 242. 1 Definiciones básicas......................... 252. 2 Sistemas de prueba tableau monotónicos................ 262. 2. 1 Sistema de prueba tableau Tf................ 262. 2. 2 Sistema de prueba tableau Tt................ 292. 3 Sistemas de prueba tableau no monotónicos.............. 312. 3. 1 Sistema de prueba Tableau St................. 322. 3. 2 Sistema de prueba Tableau Sf................. 342. 4 R-calculi.............................. 352. 4. 1 R-calculus Rt....................... 362. 4. 2 R-cálculo Rf....................... 402. 5. Proyección de R-calculi a sistemas de prueba tableau......... 412. 6 Notas............................... 43.

3 R-Calculus Para Lógica Proposicional L3-Valorada 453. 1 Definiciones básicas......................... 463. 2 Sistemas de prueba tableau monotónicos................ 493. 2. 1 Sistema de prueba tableau Tt................ 493. 2. 2 Sistema de prueba Tableau Tm................ 503. 2. 3 Sistema de pruebas Tableau Tf................ 513. 3 Nonmonotonic tableau proof systems.............. 523. 3. 1 Sistema de prueba Tableau St................. 543. 3. 2 Sistema de prueba Tableau Sm................. 553. 3. 3 Sistema de pruebas Tableau Sf................. 553. 4 R-calculi.............................. 563. 4. 1 R-calculus Rt....................... 573. 4. 2 R-cálculo Rm....................... 603. 4. 3 R-cálculo Rf....................... 633. 5 Satisfacción e insatisfacción................ 653. 5. 1 t-satisfiability y t-unsatisfiability.......... 653. 5. 2 m-satisfiability y m-unsatisfiability.......... 673. 5. 3 f-satisfiability y f-unsatisfiability.......... 683. 6 Proyección de los R-calculi a los sistemas de prueba tableau......... 703. 7 Notas............................... 71.

4 R-Calculus For L3-Valued PL, II 754. 1 Sistemas de prueba tableau monotónicos................ 754. 1. 1 Sistema de prueba Tableau Tt................ 76 4. 1. 2 Sistema de prueba Tableau Tm................ 774. 1. 3 Sistema de pruebas Tableau Tf................ 784. 2 Sistemas de prueba tableau no monotónicos.............. 794. 2. 1 Sistema de prueba Tableau St................. 794. 2. 2 Sistema de prueba Tableau Sm................. 804. 2. 3 Sistema de pruebas Tableau Sf................. 814. 3 R-calculi.............................. 824. 3. 1 R-calculus Rt....................... 824. 3. 2 R-cálculo Rm....................... 85.