The Komori–Kashima problem, that asks whether (or not) the implicational intermediate logics axiomatizable by formulas minimal in classical logic are only intuitionistic logic and classical logic, has stood for over a decade. In this paper, we give a counter-example to this problem. Additionally, we also give some open problems derived from this result.

中文翻译：

---

论经典逻辑中最小公式可公理化的蕴涵中间逻辑：小森-鹿岛问题的反例

小森-鹿岛问题问的是（或不是）经典逻辑中最小公式可公理化的蕴涵中间逻辑是否只是直觉逻辑和经典逻辑，这个问题已经存在了十多年。在本文中，我们给出了这个问题的反例。此外，我们还给出了一些由此结果衍生的开放问题。