Tableaux for 3-valued Sentential Logic Based on Open-world Assumption

• 基于开放世界预设的3-值逻辑的列表证明系统