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

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