R-Calculus, IV: Propositional Logic
portes grátis
R-Calculus, IV: Propositional Logic
Sui, Yuefei; Li, Wei
Springer Verlag, Singapore
03/2024
252
Mole
9789811986352
15 a 20 dias
Descrição não disponível.
Introduction.- R-calculus for simplified propositional logics.- R-calculi for tableau/Gentzen deduction systems.- R-calculi RQ1Q2/RQ1Q2.- R-calculi RQ1iQ2j/RQ1iQ2j.- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j.- R-calculi for supersequents.- R-calculi for propositional logic.
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;Tableau Proof System;Propositional Logic;Axiomatic Deduction System;Natural Deduction System
Introduction.- R-calculus for simplified propositional logics.- R-calculi for tableau/Gentzen deduction systems.- R-calculi RQ1Q2/RQ1Q2.- R-calculi RQ1iQ2j/RQ1iQ2j.- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j.- R-calculi for supersequents.- R-calculi for propositional logic.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
