全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  2015 

extendedif逻辑的命题演算系统

DOI: 10.13328/j.cnki.jos.004705, PP. 2278-2285

Keywords: cirquent演算,可计算性逻辑,extended,if逻辑

Full-Text   Cite this paper   Add to My Lib

Abstract:

extendedif逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于cirquent演算方法,给出了一个关于cirquent语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使extendedif逻辑在命题水平得到了真正意义上的公理化.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133