Relations between some axiom systems for matroids and the automorphism groups of a matroid;

Two groups of axioms in the natural axiom system of probability theory are set up.

This paper sets forth the process of axiom information theory, and gives its axiom system.

Research on axiomatic systems of Pawlak rough sets;

Using operator to model constraints,this paper researches such abstract operator logic,analyzes its syntax,semantics,axiomatic system,its natural deduction system and its normalized natural deduction system,provide the theoretical foundation for constrict analysis of hierarchy system.

The development of axiomatic approach,the characateristics of axiomatic system and its incompleteness,the use of axiomatic approach in Physics and its position in epistemology are discussed.

The paper presents a model of the axiomatic system ∑ in the particle geometry in the ordinary space.

Five dimensional asymptotic modal system describing liquid nonlinear resonant sloshing is derived based on Narimanov-Moiseev third order asymptotic hypothesis.

The general infinite dimensional modal system describing liquid nonlinear sloshing is derived first by pressure integral variational principle.

After deriving the modal system in general fo.

The paper proves that the Boolean value of the modal propositional system P5 are 1, which means VB(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P5.