摘要
以文为基础,本文试图建立中介模态逻辑MK的自动推理理论。文中给出了中介模态逻辑正规系统MK的表推演系统,详细证明了该系统的可靠性与完备性。
This article is the sixth of a series of articles discussing theoritical and implementational problems on automated reasoning in medium logic. We present a tableau system of the medium modal logic MS5 and show its soundness and completeness.
出处
《模式识别与人工智能》
EI
CSCD
北大核心
1995年第2期114-120,共7页
Pattern Recognition and Artificial Intelligence
