¡v in this paper we consider a strongly regular relation ƒá on hypermodules so that the quotient is amodule (with abelian group) over a fundamental commutative ring. also, we state necessary and sufficientconditions so that the relation ƒá is transitive, and finally we prove that ƒá is transitive on hypermodules.

Among the main algorithmic problems in the veriication of sequential circuits are the computation of good orders of state variables and transition relation partitions. Existing model checking packages like SMV from CMU, VIS from Berkeley or Rulebase from IBM Haifa provide variants of Rudell's sifting algorithm for the variable ordering problem and greedy-type algorithms for the partition orderi...

Kim argues that weak and global supervenience are too weak to guarantee any sort of dependency. Of the three original forms of supervenience, strong, weak, and global, each commonly wielded across all branches of philosophy, two are thus cast aside as uninteresting or useless. His arguments, however, fail to appreciate the strength of weak and global supervenience. I investigate what weak and g...

This paper explores the relationship that travelling had with myth, spirituality and religion in the pre-industrial Korean society. In particular, the paper examines in what way religion and its political associations had 'connection'/ 'relationship' with the travellers' ways of appreciating the places. Through literature research and content analysis of classic travelogues from 14th century of...