A syntactic proof of the conservativity of λω over λ2 Song FangminQian Yuechen Correspondence Pages: 129 - 134
Phase semantics for a pure noncommutative linear propositional logic Ying Mingsheng Correspondence Pages: 135 - 139
Characterizations and algorithms of extensions for CADL and QDL Zhang MingyiZhang Ying Correspondence Pages: 140 - 145
Deciding quasi-reducibility using witnessed test sets Shao ZhiqingSun YongqiangYu Huiqun Correspondence Pages: 146 - 152
An efficient parallel graph edge matching algorithm and its applications Ma JunMa Shaohan Correspondence Pages: 153 - 158
A general scheme for formalizing defaults using the predicateab(I, S) Shen Yidong Correspondence Pages: 159 - 164
Universal abstract consistency class and universal refutation Wang BingshanLi ZhoujunChen Huowang Correspondence Pages: 165 - 172
Multimedia data modeling based on temporal logic and XYZ System Ma HuadongLiu Shenquan Notes Pages: 188 - 193