[FOM] intuitionistic logic and symmetry

Kreinovich, Vladik vladik at utep.edu
Sun Jan 29 14:17:10 EST 2006

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
By restricting to intuitionistic logic, one loses this symmetry. Is
there a symmetric way to define intuitionistic logic?



More information about the FOM mailing list