带等词的“中介”谓词逻辑演算ME^＊的三值特征定理

通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。     

带时间约束的智能合约验证

在现实生活中有一类智能合约与时间紧密相关,而合约是否满足这类时间性质将直接影响应用的正确性.为了避免合约部署后出现严重的问题,将以太坊上的智能合约为研究对象定义智能合约的时间自动机语义,再将智能合约转换为时间自动机模型,接着用模型检测工具UPPAAL检测智能合约是否满足以时序逻辑公式表示的实时性质.最后对竞拍合约以及飞...     

三值逻辑的Craig中插定理与Herbrand定理

作者获得并证明三值命题逻辑MP与MP^*、三值谓词逻辑MF与MF^*以及带等词的三值谓词逻辑ME与ME^*的Craig中插定理与Herbrand定理。     

“中介”谓词逻辑演算MF的特征问题

本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。     

人口控制问题

人口问题是当前国际上引起重大关注的问题。我国对人口问题的认识也经历了一段曲折的道路。这次五届二次人代会上进一步明确了控制我国人口增长问题的重要性,并提出相应的措施。本期所刊朱健和李广元的《人口控制问题》一文,介绍了当前国际上研究人口控制问题的一些情况,可供参考。