Skip to main content
Search Button

Rakuten Kobo

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Top Series in Canada

Showing 1 - 12 of 12 results for “yuefei sui”
Skip side bar filters

  • R-Calculus, III: Post Three-Valued Logic

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    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/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent ... Read more

    $205.99 CAD

  • R-Calculus, V: Description Logics

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    This book series consists of two parts, decidable description logics and undecidable description logics. It gives the R-calculi for description logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. ... Read more

    $218.99 CAD

  • R-Calculus, IV: Propositional Logic

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.This book ... Read more

    $218.99 CAD

  • R-Calculus, VI: Finite Injury Priority Method

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post three-valued, B2^2-valued and L4-valued first-order logics, and extend the method to infinite injury priority method and 0"-method for default logic to produce pseudo-extensions of a default theory, corresponding to different R-calculi. Finite injury ... Read more

    $179.99 CAD

  • R-Calculus, II: Many-Valued Logics

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type 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. It discusses the algebraical and logical properties of tableau proof systems ... Read more

    $179.99 CAD

  • R-CALCULUS: A Logic of Belief Revision

    by Wei Li, Yuefei Sui ...
    Series series Computer Science (R0)
    This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal ... Read more

    $115.99 CAD

People who read these also enjoyed

  • Nominal Sets

    Names and Symmetry in Computer Science

    by Andrew M. Pitts ...
    Series Book 57 - Cambridge Tracts in Theoretical Computer Science
    Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming ... Read more

    $71.99 CAD

  • Handbook of Practical Logic and Automated Reasoning

    by John Harrison ...
    The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations ... Read more

    $165.99 CAD

  • A First Course in Mathematical Logic and Set Theory

    by Michael L. O'Leary ...
    A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofsHighlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems.The book begins ... Read more

    $143.99 CAD

  • Semihypergroup Theory

    by Bijan Davvaz ...
    Semihypergroup Theory is the first book devoted to the semihypergroup theory and it includes basic results concerning semigroup theory and algebraic hyperstructures, which represent the most general algebraic context in which reality can be modelled. Hyperstructures represent a natural extension of classical algebraic structures and they were introduced in 1934 by the French mathematician Marty. ... Read more

    $66.39 CAD

  • Logic

    The Laws of Truth

    by Nicholas J.J. Smith ...
    Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a ... Read more

    $67.99 CAD

  • Monoidal Topology

    A Categorical Approach to Order, Metric, and Topology

    Edited by Dirk Hofmann, Gavin J. Seal, Walter Tholen ...
    Series Book 153 - Encyclopedia of Mathematics and its Applications
    Monoidal Topology describes an active research area that, after various past proposals on how to axiomatize 'spaces' in terms of convergence, began to emerge at the beginning of the millennium. It combines Barr's relational presentation of topological spaces in terms of ultrafilter convergence with Lawvere's interpretation of metric spaces as small categories enriched over the extended real half ... Read more

    $184.99 CAD