[FOM] intuitionistic logic and symmetry

[Laurent Delattre]

Hello,

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



	

	
		
___________________________________________________________________________ 
Nouveau : téléphonez moins cher avec Yahoo! Messenger ! Découvez les tarifs exceptionnels pour appeler la France et l'international.
Téléchargez sur http://fr.messenger.yahoo.com