R-Calculus, II: Many-Valued Logics
portes grátis
R-Calculus, II: Many-Valued Logics
Li, Wei; Sui, Yuefei
Springer Verlag, Singapore
04/2023
271
Mole
Inglês
9789811692963
15 a 20 dias
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
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.
