[FOM] intuitionistic logic and symmetry

[Kreinovich, Vladik]

Such a logic was proposed by Yuri Gurevich some time ago. It is listed
on his vitae page http://research.microsoft.com/~gurevich/annotated.html

The paper is: Yuri Gurevich
Intuitionistic logic with strong negation
Studia Logica 36 (1977), 49--59 

Abstract: A symmetric (with respect to True and False) conservative
extension of first-order intuitionistic logic is introduced and studied;
a Kripke-style completeness proof is given. 
 

-----Original Message-----
>From Laurent Delattre

Classical logic is symmetrically defined using classical sequent
calculus.
By restricting to intuitionistic logic, one loses this symmetry. Is
there a symmetric way to define intuitionistic logic?

Thanks

Laurent