oi Tony, Obrigada pelo elogio! mas o artigo em questao 'e meu e do Prof. Luiz Carlos Pereira, o autor original da ideia. Eu tive uma ideia parecida para logica linear, o Prof Luiz Carlos me mostrou que funcionava tambem --e mais surpreendentemente-- pra logica intuicionista tradicional.
abs Valeria On Fri, Jun 5, 2020 at 1:55 PM Antonio Marmo <[email protected]> wrote: > Acabei de receber um artigo muito bem escrito, sucinto e agradável de ler > da Valéria Paiva, cujo título é “A Short Note on Intuitionistic > Propositional Logic with Multiple Conclusions “ e que foi publicado na > Manuscrito 15 anos atrás. > > Além de ser meu hábito recomendar artigos quando gosto deles, esse artigo > já me lembrou de outros que propunham sistemas com mais de um operador de > consequência. Havia, salvo equívoco meu, dois pesquisadores da USP > trabalhando com essa ideia, porém não me lembro exatamente quem. Se alguém > souber, por favor me diga. > > > https://independent.academia.edu/TonyMarmo > <https://independent.academia.edu/TonyMarmo/Analytics/activity/overview> > > On 2 Jun 2020, at 16:13, Haniel Barbosa <[email protected]> wrote: > > > [We apologize for the spam.] > [Please forward to whoever may be interested.] > > PhD position in ICT available in Trento (Italy) on > > "Quantum Annealing for SAT Solving" > > under the supervision of prof. Roberto Sebastiani (DISI, University of > Trento) > in collaboration with D-Wave Systems Inc. (http://www.dwavesys.com) > sponsored by Q@TN Project (https://www.quantumtrento.eu) > > !! Deadline: June 15 th , 2020 !! > > See: http://disi.unitn.it/rseba/QTN-DWAVE-Recruit-phd.txt > http://disi.unitn.it/rseba/QTN-DWAVE-Recruit-phd.pdf > > Applications: > https://ict.unitn.it/education/admission/reserved-topic-scholarships#C2 > > for enquiries: Roberto Sebastiani > [email protected] > http://disi.unitn.it/rseba/ > > > -------------------------------------------------------------------------- > ! PLEASE USE "[email protected]", NO MORE "[email protected]" > -------------------------------------------------------------------------- > Prof. ROBERTO SEBASTIANI > Dept of Information Engineering and Computer Science Ph: +39 0461 281514 > University of Trento Fax: +39 0461 283987 > Via Sommarive 9, Povo, I-38123, Trento, Italy Skype: roberto.sebastiani1 > [email protected] url: http://disi.unitn.it/rseba > -------------------------------------------------------------------------- > Any views or opinions presented in this email are solely those of the > author and do not necessarily represent those of University of Trento. > -------------------------------------------------------------------------- > > > -- > Haniel Barbosa > https://homepages.dcc.ufmg.br/~hbarbosa/ > > -- > 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 ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87eeqx5lj6.fsf%40gmail.com > . > > -- > 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 [email protected]. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/B75586C0-A71A-4C0E-985F-0FAE9DE1216B%40gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/B75586C0-A71A-4C0E-985F-0FAE9DE1216B%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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXvsZJO2nAb7x5QHNJXSMR8h1Q5EXLEarzUnVeWpH4Y7DQ%40mail.gmail.com.
