Strong Negation is Definable in 2Int

Published 23 Jan 2025 in math.LO | (2501.13979v1)

Abstract: I show that the strong negation is definable in 2Int, Wansing's bi-intuitionistic logic.

Authors (1)

No one has generated a summary of this paper yet.

No one has generated a video about this paper yet.

No one has generated a whiteboard explanation for this paper yet.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.