论文部分内容阅读
经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的反方向不成立,从而全面弄清了该系统中各种复合模态词的相互关系.
关于经验论模态词相互关系的注记
【摘 要】
：
经验论模态逻辑系统含有两组关于经验推理的模态词,证明了该系统中复合模态词间的一系列蕴涵关系,并构造反模型说明了其蕴涵关系的反方向不成立,从而全面弄清了该系统中各种
【机 构】
：
解放军理工大学气象学院
【出 处】
：
解放军理工大学学报：自然科学版
【发表日期】
：
2003年4期
其他文献
从广东引进果蔗优良品种-广东黄皮果蔗,进行设施育苗,并通过4种不同棚型栽培,对物候期、伸长速、经济性状等指标进行分析,得出不同棚型对广东黄皮果蔗的产量影响较大,跨度越
介绍了人工神经网络BP模型和MATLAB神经网络工具箱.在分析坡面冲刷过程与神经网络模型特点具有某些相似的基础上,以MATLAB-NNT为工具对6种模型结构进行试验,证明ANN4效果最好
采用“3414”田间肥效试验研究氮、磷、钾肥对甘蔗新品种海蔗22号（粤糖09—13）产量及经济效益的影响，通过肥料效应模型分析，获得合理推荐施肥量，为推广、指导甘蔗新品种海蔗22号合