We have testified that Universal Logics could contain Boolean Logic, Bochvar three-valued logic and Luckasiewicz three-valued logic.

• 我们已经证明命题泛逻辑对二值命题逻辑、Bochvar三值逻辑、Luckasiewicz三值逻辑、Kleene强三值逻辑具有包容性。