毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2013年
9期
53-57
,共5页
IF逻辑%独立友好%IF模态逻辑
IF邏輯%獨立友好%IF模態邏輯
IF라집%독립우호%IF모태라집
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出.欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词.为了刻画这种现象,他向一阶量词逻辑引入一个独立指针“/”,表示指针上面的量词与指针下面的量词不存在依赖关系.IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑.之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑.IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题.
IF邏輯全名為獨立友好的一階邏輯,于上世紀80年代末90年代初由訢迪卡提齣.訢迪卡髮現在數學和自然語言中,不但存在傳統一階邏輯所刻畫的量詞之間相互依存的情況,有的時候還有不存在依存關繫、相互獨立的量詞.為瞭刻畫這種現象,他嚮一階量詞邏輯引入一箇獨立指針“/”,錶示指針上麵的量詞與指針下麵的量詞不存在依賴關繫.IF邏輯在句法上是對一階邏輯的直接擴張,錶達力相噹于二階邏輯.之後,Bradfield嘗試將IF邏輯的思想用于錶示計算機繫統執行路徑的相互獨立,用模態之間的獨立來錶示事件之間的獨立,髮展齣IF模態邏輯.IF模態邏輯是模態邏輯的一箇新興分支,還存在很多有待深入思攷和探究的問題.
IF라집전명위독립우호적일계라집,우상세기80년대말90년대초유흔적잡제출.흔적잡발현재수학화자연어언중,불단존재전통일계라집소각화적량사지간상호의존적정황,유적시후환유불존재의존관계、상호독립적량사.위료각화저충현상,타향일계량사라집인입일개독립지침“/”,표시지침상면적량사여지침하면적량사불존재의뢰관계.IF라집재구법상시대일계라집적직접확장,표체력상당우이계라집.지후,Bradfield상시장IF라집적사상용우표시계산궤계통집행로경적상호독립,용모태지간적독립래표시사건지간적독립,발전출IF모태라집.IF모태라집시모태라집적일개신흥분지,환존재흔다유대심입사고화탐구적문제.
