Scientific research is always carried out in the context of a specific methodology or strategy, whether this is conscious or not. These methodologies guide the generation of sequences of versions in the axiomatization process. They directly affect the success and quality of the research.
KeywordsFormal Theory Input Sequence Axiom System Formal Consequence Maximal Contraction
Unable to display preview. Download preview PDF.