Salve: Alguém saberia me passar referências sobre axiomatizações "puras" (sem outros conectivos envolvidos) do conectivo de *bi-implicação intuicionista*? E sobre as relações entre este último e o conectivo clássico análogo?
JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
