吉林大学学报（理学版）
吉林大學學報（理學版）
길림대학학보（이학판）
JOURNAL OF JILIN UNIVERSITY(SCIENCE EDITION)
2008年
3期
504-508
,共5页
吴瑕%于海鸿%李泽海%李河%孙佳瑜
吳瑕%于海鴻%李澤海%李河%孫佳瑜
오하%우해홍%리택해%리하%손가유
定理证明%模态逻辑%扩展规则%关系转换
定理證明%模態邏輯%擴展規則%關繫轉換
정리증명%모태라집%확전규칙%관계전환
基于关系转换方法对模态逻辑进行转换, 使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理, 得到一种新的可用于模态逻辑的推理方法, 并证明了其正确性和完备性.
基于關繫轉換方法對模態邏輯進行轉換, 使用一階擴展規則定理證明器對轉換後得到的一階片段進行推理, 得到一種新的可用于模態邏輯的推理方法, 併證明瞭其正確性和完備性.
기우관계전환방법대모태라집진행전환, 사용일계확전규칙정리증명기대전환후득도적일계편단진행추리, 득도일충신적가용우모태라집적추리방법, 병증명료기정학성화완비성.
