The original version of this article unfortunately contains several errors introduced by the typesetter during the publishing process. It has been corrected.

中文翻译：

---

更正：具有和不具有拟爆炸的直觉准定逻辑的 Kripke 完备性和消减定理

不幸的是，本文的原始版本包含排版员在发布过程中引入的几个错误。它已被纠正。