@article{gurevich1977intuitionistic,
author = {Gurevich, Yuri},
title = {Intuitionistic Logic with Strong Negation},
year = {1977},
month = {May},
abstract = {Classical logic is symmetric with respect to True and False but intuitionistic logic is not. We introduce and study a conservative extension of first-order intuitionistic logic that is symmetric with respect to True and False.},
url = {http://approjects.co.za/?big=en-us/research/publication/intuitionistic-logic-strong-negation/},
pages = {49-59},
journal = {Studia Logica},
volume = {36},
}