论文部分内容阅读
在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的.得到了公式集不相容的充要条件.给出了发散度单调下降收敛于0的公式序列.
Lukasiewicz命题集的发散性与相容性
【摘 要】
：
在Lukasiewicz命题逻辑系统中研究了一组公式的全发散性,明确了相容公式集可以是全发散的.得到了公式集不相容的充要条件.给出了发散度单调下降收敛于0的公式序列.
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
工程数学学报
【发表日期】
：
2003年3期
【基金项目】
：
国家自然科学基金
其他文献
展会时间:2018-09-19至2018-09-21展会地点:上海新国际博览中心展会介绍:中国国际胶粘剂及密封剂展暨中国国际胶粘带与标签展是全球胶粘行业仅有的以胶粘剂、密封剂、胶粘带
期刊
在考虑多孔介质中不可压缩二相混溶驱动问题时,在井口处应用点源和点汇,给出了点源和点汇的混溶驱动问题的数学模型,提出并分析了一类特征Galerkin全离散格式.由于本文考虑在
<正>隐形眼镜变屏幕新涂层可以实现还记得电影碟中谍当中那个神器的隐形眼镜么,眨眼可以拍照,当作显示屏使用!现在这个技术即将被实现,只不过暂时是隐形眼镜当作屏幕部分,至
研究具有连续分布偏差变元的非线性中立型抛物偏泛函微分方程系统,获得了系统解的强迫振动的充分条件.
首先讨论了矩阵幂展开式的性质,然后给出了半群可被嵌入的条件及如何构造嵌入的连续参数Markov过程.