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

A QUANTIFICATIONAL LOGIC OF CONTEXT AND ITS CIRCUMSCRIPTION THEORY

本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理。

A new QLC(quantificational logic of context), is defined in this paper, which embodies more logical properties of context. Then cases when QLC has equality and when domain-specific axioms are stated in different context sequences are discussed, McCarthy's circumseription theory is also introduced into QLC.