直觉主义逻辑 (3-3)

利用这套语义，我们可以证明A ⊐ (⇁ ⇁ A)，这需要利用语义图(Semantic Diagram)，我们在此先不表。

结语

在这里，我们混用了经典逻辑和直觉主义逻辑的真值，事实上经典逻辑和直觉主义逻辑的赋值函数是不一样的。本文也附上了严格的赋值函数书写方式，可供读者参考。

参考文献

• [1]Garson J.W.: Modal Logic for Philosophers, Second edition, USA: 2013

• [2]G.E.Hughes, M.J.Cresswell: A New Introduction to Modal Logic, London: T.J. International Ltd. 1996

• [3]Benthem, J. F. A. K. van: modal logic for open minds, USA: CSLI Publications 2010

• [4]Graham Priest: An Introduction to Non-Classical Logic, Cambridge: Cambridge University Press 2008

本文使用 Zhihu On VSCode 创作并发布

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。