Revision Calculus

Part of the Progress in Computer Science and Applied Logic (PCS) book series (PCS, volume 25)


In scientific research, one tries, from a large body of knowledge, to extract the most fundamental propositions to use as an axiom system. All axiom systems developed in mathematics and science have evolved in many stages rather than being created all at once.


Formal Theory Axiom System Atomic Formula Formal Consequence Maximal Contraction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2010

Authors and Affiliations

  • Wei Li
    • 1
  1. 1.State Key Laboratory of Software Development EnvironmentBeihang UniversityBeijingChina

Personalised recommendations