一个带量词的context逻辑及其限制推理

摘要

本文定义了一个新的ｃｏｎｔｅｘｔ逻辑－ＱＬＣ（ｑｕａｎｔｉｆｉｃａｔｉｏｎａｌ ｌｏｇｉｃ ｏｆ ｃｏｎｔｅｘｔ），它能反映ｃｏｎｔｅｘｔ的更多的逻辑性质。文中还讨论了含等词的ＱＬＣ以及当领域公理相关不同ｃｏｎｔｅｘｔ序列时的推理，并引入了ＭｃＣａｒｔｈｙ的限制理论。