[FOM] intuitionistic logic and symmetry
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.
>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