Sim, e a resposta à segunda pergunta que eu fiz está neste paper bem mais recente:
Free equivalential algebras K. Slomczynska Annals of Pure and Applied Logic linkinghub.elsevier.com/retrieve/pii/S0168007208000353 Agradeço a todos que me responderam offlist com questões e sugestões de leitura. Valeria de Paiva escreveu: > mas posso perguntar pra que? qual 'e o seu interesse > nesse calculo equivalencial? qual foi a motivacao de Tax em 1973? Você pergunta pela minha motivação, ou pela dos autores citados? A destes últimos eu só posso inferir ou citar. 2011/4/13 Joao Marcos <botoc...@gmail.com>: > 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/ > -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
