JOURNAL ARTICLE
一阶时态逻辑(带等词)的一个完备性定理
Year: 1985 Journal: Science in China Series A-Mathematics Physics Astronomy & Technological Science (in Chinese) Vol: 15 (1)Pages: 59-66 Publisher: Science China Press
Abstract
一阶时态逻辑是由计算机科学的发展而建立起来的一门逻辑,它是模态逻辑和时态逻辑的一个发展,同时,一阶时态逻辑还具有谓词演算的功能,本文的目的是:为具有广泛应用的带等词的一阶时态逻辑奠定一个基础,建立一个完备性定理.
Keywords:
Medicine
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Related Documents
JOURNAL ARTICLE
直觉主义量词模态逻辑的一个强完全性定理
Journal: Science in China Series E-Technological Sciences (in Chinese) Year: 1999
JOURNAL ARTICLE
带等词的中介谓词逻辑系统ME的语义解释及可靠性、完备性
Journal: Chinese Science Bulletin (Chinese Version) Year: 1988 Vol: 33 (13)Pages: 961-963
JOURNAL ARTICLE
一个模态非单调逻辑
Journal: Science in China Series E-Technological Sciences (in Chinese) Year: 1996
JOURNAL ARTICLE
自动发现不等式型定理的一个完备算法
Journal: Science in China Series E-Technological Sciences (in Chinese) Year: 2001
JOURNAL ARTICLE
概括原理及其消除——一个完备的逻辑演算
Journal: Science in China Series A-Mathematics Physics Astronomy & Technological Science (in Chinese) Year: 1993 Vol: 23 (9)Pages: 897-903