鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。

鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。的英文翻译

基本释义

• Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a3- valued propositional logic based on an open world.