Norihiro Kamide. Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation. FLAP, 8(5):1101-1122, 2020. [doi]
@article{Kamide20a-1, title = {Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation}, author = {Norihiro Kamide}, year = {2020}, url = {https://collegepublications.co.uk/ifcolog/?00047}, researchr = {https://researchr.org/publication/Kamide20a-1}, cites = {0}, citedby = {0}, journal = {FLAP}, volume = {8}, number = {5}, pages = {1101-1122}, }