R-Calcul, II : Logiques multivaluées

Titre original :

R-Calculus, II: Many-Valued Logics

Contenu du livre :

1 Introduction 111. 1 Révision des croyances........................... 111. 2 R-calcul............................. 131. 3 Contenu du premier volume................... 141. 4 Contenu du présent volume..................... 171. 5 Notations............................. 21.

2 R-Calcul pour la logique propositionnelle 242. 1 Définitions de base......................... 252. 2 Systèmes de preuve par tableau monotone................ 262. 2. 1 Système de preuve par tableau Tf................ 262. 2. 2 Système de preuve par tableau Tt................ 292. 3 Systèmes de preuve par tableau non monotones.............. 312. 3. 1 Système de preuve par tableau St................. 322. 3. 2 Système de preuve par tableau Sf................. 342. 4 R-calculi.............................. 352. 4. 1 R-calcul Rt....................... 362. 4. 2 R-calcul Rf....................... 402. 5 Projeter les R-calculs sur des systèmes de preuve en tableau......... 412. 6 Notes............................... 43.

3 R-Calcul pour la logique propositionnelle L3-valuée 453. 1 Définitions de base......................... 463. 2 Systèmes de preuve par tableau monotone................ 493. 2. 1 Système de preuve tableau Tt................ 493. 2. 2 Système de preuve par tableau Tm................ 503. 2. 3 Système de preuve par tableau Tf................ 513. 3 Systèmes de preuve par tableau non monotones.............. 523. 3. 1 Système de preuve par tableau St................. 543. 3. 2 Système de preuve par tableau Sm................. 553. 3. 3 Système de preuve par tableau 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 Satisfiabilité et insatisfiabilité................ 653. 5. 1 t-satisfiabilité et t-unsatisfiabilité.......... 653. 5. 2 m-satisfiabilité et m-insatisfiabilité.......... 673. 5. 3 f-satisfiabilité et f-unsatisfiabilité.......... 683. 6 Projeter les R-calculs vers des systèmes de preuve en tableau......... 703. 7 Notes............................... 71.

4 R-Calcul pour L3-Valued PL, II 754. 1 Systèmes de preuve par tableau monotone................ 754. 1. 1 Système de preuve par tableau Tt................ 76 4. 1. 2 Système de preuve par tableau Tm................ 774. 1. 3 Système de preuve par tableau Tf................ 784. 2 Systèmes de preuve par tableau non monotones.............. 794. 2. 1 Système de preuve par tableau St................. 794. 2. 2 Système de preuve par tableau Sm................. 804. 2. 3 Système de preuve par tableau Sf................. 814. 3 R-calculi.............................. 824. 3. 1 R-calcul Rt....................... 824. 3. 2 R-calcul Rm....................... 85.

Autres informations sur le livre :

• ISBN : 9789811692932
• Auteur : Wei Li
• Éditeur : Springer Nature
• Langue : anglais
• Reliure : Relié