非标准逻辑基础上的知识逻辑SI

The Knowledge Logic SI Based on the Nonstandard Logic

实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。建立在非经典逻辑基础上的知识逻辑SI允许存在不一致的信息,但是却不会得出"任意结论"。SI仍有完全逻辑全能,但是在一定程度上实现了对逻辑全能的控制。

Material and logical implication coincide in the classical logic, however they do not coincide in every logics. The Knowledge Logic SI based on the non-standard logic allows incoherent information state, but not everything can derive from it. SI is still full logical omniscient, after all they actually to some extent control the logical omniscience.