Sequences of Formal Theories

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


The process of scientific research follows a general pattern. Firstly, observations are made and data is gathered. Secondly, patterns are extracted from these observations and generalized by induction into propositions. Thirdly, these propositions are analyzed to find their logical consequences and relationships. The basic propositions can be seen as axioms and the axioms and their consequences together form a theory.


Formal Theory Classical Physic Conjunctive Normal Form Predicate Symbol Default Rule 
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