中介时序逻辑系统MTL的完备性

本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.     

基于中介逻辑的时序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统     

经典公理集合论系统与中介公理集合论系统之间的包含关系

本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ^－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合论系统ＺＦＣ^－为中介公理集合论系统ＭＳ的子系统．     

基于中介逻辑的对序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性。最后对ＭＴＬ系统和经典时序命题逻辑系统进行了对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统。     

数学直觉形象思维的应有地位及其计算机模拟问题

本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面，阐明形象思维在处理实际问题时的重要作用．然后又从数学方法论的几种典型方法出发，讨论数学发现的计算机模拟问题．并在机器发现之简单回顾的基础上，对上述计算机模拟问题的研究方法提出一些看法，并指出其研究目的与意义．