一种基于集合符号的自动推理扩展方法

Keywords: [集合符号, 自动推理, Tableau, 经典逻辑, 非经典逻辑, set sign, automated reasoning, tableau, classical logic, non-classical logic]

Full-Text   Cite this paper   Add to My Lib

Abstract:

在多值逻辑Tableau推理的基础上，提出了一种基于集合符号..

Full-Text