The Logic of Information Merge and Sequential Information

The logic LMS of information merge and sequential information is introduced as a Gentzen-type sequent calculus. LMS has a specific inference rule called the mingle, which can suitably represent information merge processes. LMS has also a specific modal operator called the sequence modal operator, which can suitably represent sequential information. The completeness and cut-elimination theorems for LMS are proved as the main result of this paper. LMS is also shown to be useful for representing relational databases.