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.
