System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at customercare@wspc.com for any enquiries.

Advanced Search

SEARCH GUIDE

Narrow Results

Results: 1 - 1of1

Follow results:

per page:

Sort: Relevance

Context for search term 1Search term 1*

All Dates

LastSelect static range

Custom Range

Select starting monthSelect starting year

Select ending monthSelect ending year

Search name	Searched On	Run search
[Keyword: Defects] AND [All Categories: Formal Specification] (1)	27 Mar 2025	Run
[Keyword: Culture] AND [All Categories: Operations Management / Operations Research... (5)	27 Mar 2025	Run
[Keyword: Defects] AND [All Categories: Quantum Mechanics and Quantum Information] (8)	27 Mar 2025	Run
[Keyword: Culture] AND [All Categories: Robotics] (2)	27 Mar 2025	Run
[in Journal: Non-Series Books] AND [Keyword: Variance] (7)	27 Mar 2025	Run

chapterNo Access
A SYMBOLIC CALCULUS ON DEFECT REVISIONS OF AXIOMATIC SYSTEMS
- WEI LI
Advances in Algebra and Combinatorics01 Jun 2008
Preview Abstract
A symbolic calculus named as the R-calculus is built to revise the defects of axiomatic systems mechanically when some counterexamples are found. The R-calculus consists of the rules of logical connective symbols and logical quantifier symbols of first order languages. The concept of reachability, soundness and completeness of the R-calculus are introduced. The basic theorem of software testing based on the R-calculus is also introduced to help mechanizing model checking.

1