Normallogic has been moving forward towards dynamic logic from static...
规范逻辑近半个世纪正在从静态逻辑走向动态逻辑。
2
Based on that, if taking out more direct inference, effective model of normal equivalent relationship, and normallogic will keep closer to social life.
在此基础上,给出更多的规范对当关系直接推理的有效式,将使规范逻辑更贴近社会生活。
3
They don't come up to the normallogic thinking superficially, but through the deep semantic analysis and investigations, we can see the reason they can exist and accept for the society.