您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

逻辑化的指称语义学

发布时间:2019-04-30 21:13 来源:未知 编辑:admin

  指称语义学是以函数的形式来表达程序的语义,一阶时态逻辑是以逻辑方式表达程序的语义。本文将上述两种功能集中于一种语义学之中,实现了指称语义学的逻辑化,即在一阶时态逻辑的某个特定的系统里,对那些具有指称语义的公式进行逻辑推理。这种公理化的推理方式,提高了指称语义学用于程序自动验证的能力。同时,把不同形式的程序语义学,在一阶时态逻辑之下统一地进行处理也是一种新的尝试。

  唐同诰;一阶时态逻辑(带等词)的一个完备性定理[J];中国科学A辑;1985年01期

  刘敏;FZ-Domain的拓扑与范畴性质[D];陕西师范大学;2010年

  毛徐新;代数L-domain的表示定理及其相关范畴的等价性[D];扬州大学;2003年

  龚雅玲;拟C-偏序集与广义完全分配偏序集的若干性质[D];江西师范大学;2010年

  高嘉凌;有关局部半连续格、半连续格及Z-连续偏序集的研究[D];陕西师范大学;2011年

http://39-5963.net/gongliyuyi/80.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有