Obrigado pela informação e pelo artigo, Jean-Yves! Tudo muito interessante. Abraço!
Cícero > Gostaria de lembrar que o trabalho do Gentzen se originou no trabalho do > Paul Hertz (tambem aluno do Bernays). O trabalho do Hertz ainda nao e > muito > conhecido. Publicamos uma traducao do principal artigo dele em ingles no > livro > Universal Logic: An Anthology > From Paul Hertz to Dov Gabbay > http://www.springer.com/br/book/9783034601443#aboutBook > com uma apresentacao do nosso colega Javier Legris > Paul Hertz and the Origins of Structural Reasoning > Foi Hertz que introduziu a regra do corte inspirada do silogismo da > Barbara > Ver a parte 5 (Farewell to Barbara) do meu artigo > Is Modern Logic Non-Aristotelian ? > in D.Zaitsev (ed), Nikolai Vasiliev's Logical Legacy and Modern Logic, > Springer, Dordrecht, 2016. > http://www.jyb-logic.org/papers/nal.pdf > JYB > > Le samedi 18 juin 2016 23:22:05 UTC+2, [email protected] a écrit : >> >> Caras(os), >> >> Saudações cordiais! Alguém teria como disponibilizar ou sabe como posso >> ter acesso ao "Investigations into Logical Deduction" do Gentzen? Fico >> muito grato. Abraços! >> >> Cícero >> >> > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/343348e3-1047-454f-87c9-facd882ca855%40dimap.ufrn.br. > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/43e9e6ad3ab7313fbea70fe3cdbf5b35.squirrel%40webmail.lia.ufc.br.
