论文部分内容阅读
标记逻辑是一种重要的次协调逻辑，标记逻辑中的２种推理关系，二次都是次协调的，可以用统一的方法处理一致的知识不一致的知识，单调的，有基于归结的证明论，但不能保持经典逻辑中合理的推理，如三段论，是非单调的，在前提一致时等价于经典逻辑的推理关系，但缺少有效的证明论，本文将给出了推理关系，基于Ｔａｂｌｅａｕ演算的可靠而且完备的判定方法。