oi Tony, Obrigada pelo "shout-out"! mas o artigo 'e meu e do Luiz Carlos Pereira! espero que o site Academia nao tenha retirado o nome dele que na verdade foi quem teve a ideia original. Uma ideia que nos dois continuamos achando importante! abracos logicos, Valeria
On Mon, Oct 21, 2019 at 7:08 AM Antonio Marmo <marmo.t...@gmail.com> wrote: > Caríssimos amigos, mestres e colegas, > > > Quando encontro um artigo de que gosto, faço questão de o divulgar. E este > inclusive é de autoria da estimada Valéria de Paiva que participa desta > lista. O texto encontra-se no sítio academia.edu. > > > A Short Note on Intuitionistic Propositional Logic with Multiple > Conclusions > > By Valeria de Paiva > > Manuscrito, 2005 > > > It is a common misconception among logicians to think that intuition-ism > is necessarily tied-up with single conclusion (sequent or Natural > Deduction) calculi. Single conclusion calculi can be used and are > convenient, but they are by no means necessary, as shown by such > influential authors as Kleene, Takeuti and Dummett, to cite only three. If > single conclusions are not necessary, how do we guarantee that only > intuitionistic derivations are allowed? Traditionally one insists on > restrictions on particular rules: implication right, negation right and > universal quantification right are required to be single conclusion rules. > In this note we show that instead of a cardinality restrictionm such as one > conclusion only, we can use a notion of dependency between formulae to > enforce the constructive character of derivations. > > > > > > > > > > > > *Most problems of teaching are not problems of growth but helping > cultivate growth. As far as I know, and this is only from personal > experience in teaching, I think about ninety percent of the problem in > teaching, or maybe ninety-eight percent, is just to help the students get > interested. * > Noam Chomsky > > -- > Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/A1F62497-5D44-4B84-87B3-224034452396%40gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/A1F62497-5D44-4B84-87B3-224034452396%40gmail.com?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://vcvpaiva.github.io/ http://www.cs.bham.ac.uk/~vdp/ -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsLW3cH_EG95G3ke_eXRHb16t_ruSKbt-XVXoZjCZwhzQ%40mail.gmail.com.
