Agradeço a Claudio Callejas por ter encontrado a resposta (aparentemente bem pouco conhecida) à minha primeira questão, apontando-me o artigo:
On the intuitionistic equivalential calculus. Robert E. Tax Notre Dame J. Formal Logic Volume 14, Number 4 (1973), 448-456. http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1093891099 JM 2011/4/10 Joao Marcos <botoc...@gmail.com>: > 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 Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
