可解可识强码的结构

本文研究了可解可识强码的结构,得到了一个强码是可解可识强码当且仅当它可表示为有限个不可分解极大强码的复合,同时给出了不可分解极大强码的结构表达式.     

中介模态逻辑——形式系统及语义

本文构造中介模态逻辑,给出三个系统MT,MS₄和MS₅,它们分别是经典模态逻辑T,S₄,S₅的扩展.我们取中介集合论作为元语言研究它们的语义问题,并且证明这三个系统的可靠性定理与完备性定理.     

正则强码的分解与伯努利分布

本文得到正则强码的伯努利分布定理。还研究强码的分解,给出正则强码可分解为两个正则强码复合的充要条件。     

正规子么半群与强码

设∑为字母表,∑是由∑生成的自由么半群.本文得到∑的任一正规子么半群恰是∑上的强码所生成的语言,讨论由强码导出的同余的性质,并给出码成为极大强码的充要条件.