%0 Journal Article %T 一个在弗协调逻辑中的限制 %A 林作铨? %J 软件学报 %P 290-295 %D 1995 %X 本文通过应用限制到一个弗协调逻辑给出一种弗协调限制,弗协调限制是一种弗协调非单调逻辑,它能被极小化语义所刻划,并具有两方面优点:非单调逻辑在包含矛盾时是不平凡的;弗协调逻辑在矛盾没有影响时等价于经典逻辑. %K 弗协调逻辑 %K 非单调逻辑 %K 限制 %K 极小模型 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19950505&flag=1