Legal saber que tinha sido feito! obrigada Claudio Callejas pela informacao!
mas posso perguntar pra que? qual 'e o seu interesse nesse calculo equivalencial? qual foi a motivacao de Tax em 1973? obrigada, Valeria 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/ > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
