论文研究 计算机推理的语义与语法 .pdf

计算机推理的语义与语法，闫硕，吴尽昭，数理逻辑中的经典和非经典逻辑都以研究推理为主要目的，其研究方法是通过两种渠道展开的，即语义推理和语法推理。本文分别对语义