Sentence examples for axiomatic basis from inspiring English sources

Having settled Ontology on an axiomatic basis, Leśniewski turned to the axiomatization of this.

The axiomatic basis given in the section on the axiomatization of LPC (see above Axiomatization of LPC) also requires the following modification: in axiom schema 2 any term is allowed to replace a when β is formed, provided that no variable that is free in the term becomes bound in β.

A set of natural deduction rules yielding as theorems all the valid wffs of a system is complete (with respect to that system) in a sense obviously analogous to that in which an axiomatic basis was said above to be complete (see Axiomatization of PC. As an illustration, the formula [(p ⊃ q) · (p ⊃ r)] ⊃ [p ⊃ (q · r)] will be derived as a theorem of logic by the natural deduction method.

An axiomatic basis for computer programming.

On an axiomatic basis she developed a general theory of ideals for all cases.

In order to eliminate such problems, an axiomatic basis was developed for the theory of sets analogous to that developed for elementary geometry.

Liu and Liu [24] presented the concept of credibility measure in 2002 on the basis of possibility measure and necessity measure, and then a complete axiomatic foundation of credibility theory was developed by Liu [3].

An axiomatic foundation of continuum thermodynamics.

The cockpit design process is presented on the basis of axiomatic design theory and a framework for ergonomics design of transport category airplane cockpit.

Now the Transcendental Subject can be identified with the set T of true propositions obtainable on the basis of axiomatic and deductive rules.

The theorem reached from the axiomatic system provides a theoretical basis on which planning is practiced in the face of complexity and the results might prompt us to return to and focus on plans as the object in planning research.