Strong Negation is Definable in 2Int
arXiv:2501.13979
Abstract
I show that the strong negation is definable in 2Int, Wansing's bi-intuitionistic logic.
3 pages
arXiv:2501.13979
I show that the strong negation is definable in 2Int, Wansing's bi-intuitionistic logic.
3 pages