R-Calculus, II: Many-Valued Logics

R-Calculus, II: Many-Valued Logics

Sui, Yuefei; Li, Wei

Springer Verlag, Singapore

04/2022

271

Dura

Inglês

9789811692932

15 a 20 dias

600

Descrição não disponível.

Introduction.- R-Calculus For Propositional Logic.- R-Calculus For L3-Valued Propositional Logic.- R-Calculus For L3-Valued PL,II.- R-Calculus For B22-Valued PL.- R-Calculus For B22-Valued PL,II.- Complementary R-Calculus For PL.- Multisequents and Hypersequents.- Product of Two R-Calculi.- Sum of Two R-Calculi.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Belief revision;AGM postulates;R-calculus;Gentzen deduction system;Soundness;Completeness;Reachability;Multi-valued logics;Many-valued logics