R-Calculus, III: Post Three-Valued Logic

Introduction.- Many-Placed Sequents.- Modalized Three-Valued Logics.- Post three-valued logic.- R-Calculi for Post Three-valued logic.- Post Three-valued description logic.- R-calculi for Post three-valued description logic.- R-calculi for corner multisequents.- General multisequents.- R-calculi for general multisequents.

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

• Teoria matemática da computação
• Modelação matemática
• Fundamentos da Matemática
• Inteligência artificial

Belief revision;AGM postulates;R-calculus;Gentzen deduction system;Soundness;Completeness;three-valued logics;Deduction system;Tableau and Sequents;tableau-based;propositional modal logic;description logics;propositional logic;logic programming;semantic networks;three-valued logic;sequent-based;Post three-valued logic