Abstract
We studied a logical structure of the Principle of Superposition as a fundamental model of the Geology-Oriented Logical System. Introducing a function f from a subset A of the real space R3 into set B of strata recognized inA, we defined exactly binary relations K, C andL on set B; aKb: stratum a is older than stratum b, aCb: stratum a is directly under stratum b, and aLb: stratum a is under stratum b. Using these symbols, the Principle of Superposition is formalized as follows:
L∪L-1=O⇒ C⊂K and L∪L-1=O⇒L⊂K.
It is hopeful that this type of formalization makes clear the logical structure in geology and leads us to a deep understanding of our geological knowledge as well as a development of effective algorithmsfor comptuter processing of geological information.
