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 > On 2 Jun 2020, at 16:13, Haniel Barbosa <hanielbbarb...@gmail.com> 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 > roberto.sebasti...@unitn.it > http://disi.unitn.it/rseba/ > > > -------------------------------------------------------------------------- > ! PLEASE USE "roberto.sebasti...@unitn.it", NO MORE "rs...@disi.unitn.it" > -------------------------------------------------------------------------- > 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 > roberto.sebasti...@unitn.it 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 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/87eeqx5lj6.fsf%40gmail.com. -- 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/B75586C0-A71A-4C0E-985F-0FAE9DE1216B%40gmail.com.