Cover Image
Read Now

R-Calculus, III: Post Three-Valued Logic

This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequ...

Full description

Bibliographic Details
Main Authors: Li, Wei, Sui, Yuefei (Author)
Format: eBook
Language:English
Published: Singapore Springer Nature Singapore 2022, 2022
Edition:1st ed. 2022
Series:Perspectives in Formal Induction, Revision and Evolution
Subjects:
Mathematics Of Computing
Computer Science / Mathematics
Mathematical Logic
Logic In Ai.
Formal Languages And Automata Theory
Machine Theory
Mathematical Modeling And Industrial Mathematics
Mathematical Logic And Foundations
Logic Programming
Mathematical Models
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • 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

Similar Items