[Logica-l] Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries
== EPS == Encyclopedia of Proof Systems \--- call for contributions --- September 24-25, 2017, Brasilia, Brazil Affiliated to: TABLEAUX, FroCoS and ITP 2017 http://tableaux2017.cic.unb.br/ http://frocos2017.cic.unb.br/ http://itp2017.cic.unb.br/ Aims and Scope == The Encyclopedia of Proof Systems was created in 2014 with the goal of becoming a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries about many calculi for classical and non-classical logics. This was only possible thanks to the collaboration of many members of the logic community. This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of: \- a poster session in the afternoon of September 24th, during which submitted entries will be displayed as posters; \- an interactive hands-on meeting in the morning of September 25th, for those who would like to contribute to the continuous improvement of the encyclopedia. The activities planned for the meeting will be announced closer to the event. Submission Instructions === Please visit the encyclopaedia's website for instructions: http://proofsystem.github.io/Encyclopedia Participation in TABLEAUX, FroCoS or ITP is not required for submission, but is strongly encouraged. Each encyclopedia entry is typically just one page long, following a template given in the encyclopedia's website. Therefore, it is easy and quick to contribute. Important Dates === \- Submission Deadline: 1st of August 2017 \- Notification: 15th of August 2017 Publication Plans = We have an agreement with College Publications to publish the encyclopedia as a book. The first edition, containing the entries submitted until December 2016, was published in January 2017 (http://www.collegepublications.co.uk/other/?00028). Future editions will contain the entries accepted to this EPS event. The encyclopedia is also available in Github (https://github.com/ProofSystem/Encyclopedia). Organization Bruno Woltzenlogel Paleo (bruno...@gmail.com) Giselle Reis (gise...@cmu.edu) ![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-0252c728-67d7) -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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/6plob2sxcyn0fppr0n7mzn6v3-0%40mailer.nylas.com.
[Logica-l] PxTP: Third Call for Papers (New Deadline: 26th of June)
://easychair.org/my/conference.cgi?a=12750890;welcome=1;conf=pxtp2017). Accepted regular papers will appear in an EPTCS volume. ## Important Dates * Abstract submission: Monday, 26 June 2017 * Paper submission: Monday, 26 June 2017 * Notification: Friday, 7 July 2017 * Camera ready versions due: Friday, 21 July 2017 * Workshop: 23-24 September 2017 ## Invited Speakers * Gilles Dowek (INRIA) * Cesare Tinelli (The University of Iowa) ## Program Committee * Catherine Dubois (ENSIIE-Samovar), co-chair * Bruno Woltzenlogel Paleo, co-chair * Christoph Benzmüller (Freie Universität Berlin) * Jasmin Christian Blanchette (INRIA Nancy & LORIA) * Hans De Nivelle (Institute of Computer Science, University of Wroclaw) * Pascal Fontaine (Loria, INRIA, University of Lorraine) * Stéphane Graham-Lengrand (CNRS - INRIA - Ecole Polytechnique) * Hugo Herbelin (INRIA) * Olivier Hermant (MINES ParisTech) * Cezary Kaliszyk (University of Innsbruck) * Guy Katz (Stanford University) * Chantal Keller (LRI, Université Paris-Sud) * Tomer Libal (INRIA) * Mariano Moscato (National Institute of Aerospace) * Vivek Nigam (Universidade Federal da Paraíba) * Andrei Paskevich (Université Paris-Sud, LRI) * Florian Rabe (Jacobs University Bremen) * Andrew Reynolds (University of Iowa) * Stephan Schulz (DHBW Stuttgart) * Geoff Sutcliffe (University of Miami) * Josef Urban (Czech Technical University in Prague) * Tjark Weber (Uppsala University) * Akihisa Yamada (University of Innsbruck) ## Previous PxTP Editions * PxTP 2011 (http://pxtp2011.loria.fr/), affiliated to CADE-23 * PxTP 2012 (http://pxtp2012.inria.fr/), affiliated to IJCAR 2012 * PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated to CADE-24 * PxTP 2015 (http://pxtp15.lri.fr/), affiliated to CADE-25 ![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-59a1c16f-502d) -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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/7dtkm4aeffn8k6gtbcri13s4s-0%40mailer.nylas.com.
[Logica-l] Fwd: PxTP 2017: 2nd Call for Papers
scribe previously unpublished work, and must be prepared using the LaTeX EPTCS class (<http://style.eptcs.org/>). Papers will be submitted via EasyChair, at the PxTP'2017 workshop page (<https://easychair.org/my/conference.cgi?a=12750890;welcome=1;conf=pxtp2017> ). Accepted regular papers will appear in an EPTCS volume. **## Important Dates** * Abstract submission: Monday, 12 June 2017 * Paper submission: Monday, 19 June 2017 * Notification: Friday, 7 July 2017 * Camera ready versions due: Friday, 21 July 2017 * Workshop: 23-24 September 2017 **## Invited Speakers** * Gilles Dowek (INRIA) * Cesare Tinelli (The University of Iowa) **## Program Committee** * Catherine Dubois (ENSIIE-Samovar), co-chair * Bruno Woltzenlogel Paleo, co-chair * Christoph Benzmüller (Freie Universität Berlin) * Jasmin Christian Blanchette (INRIA Nancy & LORIA) * Hans De Nivelle (Institute of Computer Science, University of Wroclaw) * Pascal Fontaine (Loria, INRIA, University of Lorraine) * Stéphane Graham-Lengrand (CNRS - INRIA - Ecole Polytechnique) * Hugo Herbelin (INRIA) * Olivier Hermant (MINES ParisTech) * Cezary Kaliszyk (University of Innsbruck) * Guy Katz (Stanford University) * Chantal Keller (LRI, Université Paris-Sud) * Tomer Libal (INRIA) * Mariano Moscato (National Institute of Aerospace) * Vivek Nigam (Universidade Federal da Paraíba) * Andrei Paskevich (Université Paris-Sud, LRI) * Florian Rabe (Jacobs University Bremen) * Andrew Reynolds (University of Iowa) * Stephan Schulz (DHBW Stuttgart) * Geoff Sutcliffe (University of Miami) * Josef Urban (Czech Technical University in Prague) * Tjark Weber (Uppsala University) * Akihisa Yamada (University of Innsbruck) **## Previous PxTP Editions** * PxTP 2011 (<http://pxtp2011.loria.fr/>), affiliated to CADE-23 * PxTP 2012 (<http://pxtp2012.inria.fr/>), affiliated to IJCAR 2012 * PxTP 2013 (<http://www.cs.ru.nl/pxtp13/>), affiliated to CADE-24 * PxTP 2015 (<http://pxtp15.lri.fr/>), affiliated to CADE-25 -- Catherine DUBOIS, professor ENSIIE, lab. Samovar (UMR 5157) -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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/21zu21mwz7ncxpe4re4ovxd54-0%40mailer.nylas.com.
[Logica-l] PxTP 2017: Call for Papers
EasyChair, at the PxTP'2017 workshop page (https://easychair.org/my/conference.cgi?a=12750890;welcome=1;conf=pxtp2017). Accepted regular papers will appear in an EPTCS volume. **## Important Dates** * Abstract submission: Monday, 12 June 2017 * Paper submission: Monday, 19 June 2017 * Notification: Friday, 7 July 2017 * Camera ready versions due: Friday, 21 July 2017 * Workshop: 23-24 September 2017 **## Invited Speakers** * Gilles Dowek (INRIA) * Cesare Tinelli (The University of Iowa) **## Program Committee** * Catherine Dubois (ENSIIE-Samovar), co-chair * Bruno Woltzenlogel Paleo, co-chair * Christoph Benzmüller (Freie Universität Berlin) * Jasmin Christian Blanchette (INRIA Nancy & LORIA) * Hans De Nivelle (Institute of Computer Science, University of Wroclaw) * Pascal Fontaine (Loria, INRIA, University of Lorraine) * Stéphane Graham-Lengrand (CNRS - INRIA - Ecole Polytechnique) * Hugo Herbelin (INRIA) * Olivier Hermant (MINES ParisTech) * Cezary Kaliszyk (University of Innsbruck) * Guy Katz (Stanford University) * Chantal Keller (LRI, Université Paris-Sud) * Tomer Libal (INRIA) * Mariano Moscato (National Institute of Aerospace) * Vivek Nigam (Universidade Federal da Paraíba) * Andrei Paskevich (Université Paris-Sud, LRI) * Florian Rabe (Jacobs University Bremen) * Andrew Reynolds (University of Iowa) * Stephan Schulz (DHBW Stuttgart) * Geoff Sutcliffe (University of Miami) * Josef Urban (Czech Technical University in Prague) * Tjark Weber (Uppsala University) * Akihisa Yamada (University of Innsbruck) **## Previous PxTP Editions** * PxTP 2011 (http://pxtp2011.loria.fr/), affiliated to CADE-23 * PxTP 2012 (http://pxtp2012.inria.fr/), affiliated to IJCAR 2012 * PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated to CADE-24 * PxTP 2015 (http://pxtp15.lri.fr/), affiliated to CADE-25 ![](https://link.nylas.com/open/3x691kf2sejzsuk0agjgff6ov/local-bc3bd9e1-0a24) -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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/7u9rhlaxe42y5wof17wk7ichs-0%40mailer.nylas.com.
Re: [Logica-l] Fwd: Erasmus Mundus Scholarships in Computational Logic, Master Programme, Bolzano (Italy), Dresden (Germany), Lisboa (Portugal), Vienna (Austria)
Olá, Pelo menos um colega brasileiro aqui desta lista já se beneficiou de uma bolsa de mestrado destas. E não recomendo... Teve alguém que relatou nesta lista, que não tinha gostado do curso. Estou enganado? Fui eu que relatei. Não vou relatar novamente, já que o relato deve estar disponível nos arquivos da lista. Mas quem quiser mais detalhes, pode me contactar e perguntar... Mas vou tentar resumir algumas coisas que aconteceram depois do relato: Algum membro dessa lista traduziu meu relato do português para o inglês e enviou para o Steffen Hölldobler em Dresden (Alemanha), coordenador geral do Erasmus Mundus M.Sc. in Computational Logic. Na época, eu já estava fazendo meu doutorado em Vienna, e o Steffen Höldobler então contactou o coordenador em Vienna e lhe pediu que me punisse ou me impedisse de alguma forma. Felizmente em Viena entende-se melhor o conceito de liberdade de expressão, e portanto entende-se também o quão absurdo é um pedido desse tipo. Esse é só mais um exemplo da maneira autoritária pela qual o Steffen Hölldobler administra o curso, muitas vezes corrompendo e desrespeitando as regras da comissão européia, as regras do próprio curso, o mérito acadêmico ou o simples bom-senso... A comissão européia aparentemente também não estava gostando do curso e chegou a cortar o financiamento do curso por um ano. Infelizmente, de alguma forma Steffen Hölldobler conseguiu convencê-los a financiar o curso novamente. Creio que o curso obteve uma segunda chance ao eliminar Madrid do consórcio. Acho que eu não sou o único aluno insatisfeito com esse curso (apesar dessa insatisfação provavelmente não aparecer nos relatórios enviados à comissão européia, já que nos workshops anuais do curso o Hölldobler instrui explicitamente os alunos a não escreverem nada ruim sobre o curso nesses relatórios). Dos mais de 20 alunos da minha geração, que deveriam se formar em setembro de 2007, não mais que 5 haviam se formado antes de fevereiro de 2008. Muitos alunos selecionados para esse curso não tem a mínima competência para estudar lógica (e os coordenadores do curso não tem competência pra fazer uma seleção rigorosa). Outros não tem interesse em lógica e se candidatam atraídos apenas pelo dinheiro. Outros perdem o interesse com o baixo nível, falta de infra-estrutura, corrupção e condescendência do curso. E o nível é baixo, realmente trivial, tanto que já em abril de 2007 eu estava com todos os requisitos acadêmicos prontos pra me formar, sem nem precisar me esforçar, e sem deixar de viajar por metade da Europa enquanto eu estudava... Uma das coisas que me fez escrever o relato há 2 anos foi a quantidade de propaganda enganosa no call for applications, que prometia ensino de alto nível nas mais variadas sub-áreas de lógica. Notem que, dessa vez, pelo menos eles não prometem nada disso, e focam na ênfase da bolsa Erasmus Mundus, que de fato é realmente impressionante (bem mais do que a média de bolsas de *doutorado* na Europa). Lembrar e escrever essas experiências ruins me cansa e me estressa. Também me traz inimigos. Mas são coisas que precisam ser ditas, não? Até, Bruno -- Bruno Woltzenlogel Paleo http://www.logic.at/people/bruno/ -- The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a double/multiple degree. Information on the universities and the program including the application form are provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. In addition, we would like to draw your attention to the ERASMUS-MUNDUS scholarship program. The ERASMUS-MUNDUS consortium offers 2-year scholarships up to 48.000 EUR for non-EU students and up to 23.000 EUR for EU students of our European Master's Program in Computational Logic. More information on the application procedure is available from: http://www.emcl-study.eu/application.html Do not hesitate to contact us again if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: s...@iccl.tu-dresden.de
[Logica-l] Conferências no Brasil em 2011
Olá, Por acaso alguém sabe e poderia me informar quais conferências e workshops ocorrerão no Brasil entre os meses de janeiro e abril de 2011? Obrigado! Bruno -- Bruno Woltzenlogel Paleo http://www.logic.at/people/bruno/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Presuppositions and Implicatures
Olá! Da lista enviada pelo Walter Carnielli, de trabalhos selecionados para a reunião do GT Lógica, me interessei bastante pelo seguinte (pois minha noiva trabalha no mesmo tópico): Antonio Marmo da Cunha Oliveira: ASPECTS OF THE CALCULI OF PRESUPPOSITIONS AND IMPLICATURES Ele está disponível online? Alguém poderia me enviar por email? Alguém poderia me passar o contato do Antonio Marmo da Cunha Oliveira? Obrigado! Bruno -- Bruno Woltzenlogel Paleo http://www.logic.at/people/bruno/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] França aprova em primeira instância lei que permite controle da internet
Olá, Mais uma vez eu vou ser retrógado (como acho que sou sempre). Qual o problema em ser filmado a cada 100m? Retrógrado seria quem não quisesse ser filmado a cada 100m, não? Ou seja, eu não classificaria a sua opinião favorável a cameras CCTV como retrógrada... Você anda com o dedo no nariz? Acho essas medidas seguras, e eles devem mesmo se proteger. Câmeras em todo lugar, na minha opinião, são necessárias (e não somente bem vindas). Passar em RX no areoporto mostrando tudo? (tudoo quê?) Sem problemas. Nada contra eles. Eles que estabeleçam suas regras, e se quisermos frequentar, devemos estar de acordo, ou não vamos. Deveríamos fazer coisa parecida, se fosse possível. Estou errado? Muito radical? A notícia encaminhada pelo Rodrigo de Oliveira foi bastante interessante, mas um pouco off-topic pra essa lista de lógica. Em minha mensagem, eu procurei apenas enriquecer a notícia com dois outros fatos similares que eu vivenciei recentemente aqui na França, e procurei também tornar a discussão um pouco mais in-topic, indicando como esses fatos contradizem o famoso slogan francês de Egalité, Liberté, Fraternité. Afinal, refutar, derivar contradições, mostrar insatisfazibilidade, inconsistência, são algumas das coisas que lógicos fazem... Discutir nossas opiniões pessoais e as vantagens e desvantagens de usar câmeras, invadir privacidade, controlar a internet e outros assuntos relacionados seria bastante off-topic, então não vou fazê-lo aqui. Mas já escrevi bastante sobre alguns desses assuntos no meu blog (http://bruno-wp.blogspot.com/), e podemos discutir por email fora da lista também... Aliás, o fato de eu ter um blog onde eu também publico coisas pessoais já indica que a minha opinião sobre privacidade não é tão simples e radical quanto o tom da minha mensagem anterior pode ter sugerido. Em todo caso, isso chateia mesmo, mas são coisas da atualidade. Boa sorte, e acho que seu caso não trará problemas. É, o fato da xenofobia e de police-states estarem crescendo na Europa chateia mesmo... Aliás, o que eu vejo é uma contradição entre a União Européia (e seus programas e instituições, como Erasmus Mundus, Euraxess, IRSES...), que tenta integrar e abrir a Europa, e os governos dos países europeus, que têm atacado a união européia e tornado a vida dos estrangeiros cada vez mais difícil através de medidas como as que eu mencionei (entre outras!)... Até... Bruno ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] França aprova em primeira instância lei que permite controle da internet
1. França aprova em primeira instância lei que permite controle da internet (Rodrigo Oliveira) Parece que a Liberté já era... Me mudei pra França há 2 meses pra fazer um PostDoc no INRIA (http://www.inria.fr/), e há 1 mês o serviço de segurança francês exigiu que o INRIA bloqueie o acesso a estrangeiros fora do horário normal de trabalho. Estrangeiros que trabalham no INRIA agora só podem entrar no prédio e em suas salas de trabalho entre 8:00 e 18:00, de segunda a sexta, enquanto o acesso a cidadãos da União Européia continua livre em qualquer dia e qualquer horário. (Egalité?) Sempre que o INRIA quer contratar um estrangeiro, é necessário enviar dados do estrangeiro para o serviço de segurança francês, que então decide se o estrangeiro pode ser contratado ou não. Normalmente, a autorização é dada sem problemas. No meu caso, no entanto, a autorização foi apenas condicional: o INRIA deveria, teoricamente, restringir meu acesso apenas ao tópico da minha pesquisa, provavelmente por suspeita de espionagem. Desde quando logicians e proof theorists passaram a ser suspeitos de espionagem? (E suspeitar dos outros sem motivo não soa muito compatível com Fraternité...) De qualquer forma, a situação na França ainda é melhor que, por exemplo, na Inglaterra, onde não é possível andar nem 100 metros sem ser filmado por várias cameras CCTV e pesquisadores são interrogados para poder entrar no país e participar de conferências, ou na Austria, em que 30% da população vota pra partidos nazistas... Até, Bruno -- Bruno Woltzenlogel Paleo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] satisfativel/satisfazivel
Olá, Como meu primeiro contato com conceitos formais de logica ocorreu fora do Brasil e em ingles, há varios termos de logica cuja traducao para o portugues eu (ainda) nao sei. Uma vez fiz uma apresentacao de um trabalho meu em portugues no Brasil, e quando precisei falar unsatisfiable em portugues, fiquei na duvida. Perguntei à plateia qual seria a traducao, e me disseram insatisfatível. (in)satisfazível sempre soou melhor no meu ouvido, no entanto, e também me parece mais natural para pronunciar... Além disso, acho que satisfazível também está mais de acordo com a regra de formacao de adjetivos: (raiz do verbo X) + ável/ível , que gera um adjetivo cujo significado é a possibilidade de aplicar o verbo X ao substantivo ao qual o adjetivo é aplicado. (Uma vez que a raiz de (satis)fazer é (satis)faz, e nao (satis)fat... nao?). Mas no fim das contas, o que importa mesmo é que se entenda que existe um modelo em que a formula é verdadeira, nao é mesmo? :-) t ou z sao apenas variantes sintaicas... :-) Até mais, Bruno Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] 2 problemas de tradução, e a fixa ção de terminologia
Olá Ricardo, --- Bem, por outro lado, que são essas coisas sintáticas chamadas fórmulas? Há infinitas delas (!) e elas nem são exatamente objetos físicos, pois são tipos (type) e não ocorrências (token)! Se você acredita em na existência das fórmulas, então não é difícil acreditar na existência do Modelo Padrão. -- Há infinitas formulas, mas elas sao recursivamente enumeraveis... Já as infinitas verdades do modelo padrao nao sao recursivamente enumeraveis. Eu nao quis dizer que nao acredito na existencia do modelo padrao. Meu ponto foi simplesmente de que a versao sintatica da incompletabilidade é mais clara pra mim do que a semantica. Fiz esse comentario porque voce havia comentado que pra voce ocorre justamente o contrario. No fim, acho que acaba sendo uma questao de gosto ou costume... :-) Há essa também é boa para definir um tipo de platonismo: defina a Aritmética como sendo o conjunto das fórmulas que são verdadeiras no modelo apresentado acima. Nesse caso, a Aritmética não é (recursivamente) axiomatizável. E ela são as verdades eternas... -- É, isso é o que eu conheco como true arithmetic. Já que estavamos falando sobre traducoes para o portugues, alguem sabe qual é a melhor ou mais usada traducao pra true arithmetic?? Tem mais sobre essa discussão em minha tese: http://www.marilia.unesp.br/Home/Instituicao/Docentes/RicardoTassinari/Bibli otecaOnline/Tese%20Tassinari.pdf. - Obrigado pela tese! Já fiz o download, mas vou ler só depois de alguns meses, quando eu terminar de escrever a minha... :-) Até! Bruno Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Formulas com links em LaTeX
Olá Adolfo, Uma ideia meio absurda acabou de me ocorrer agora: O Linux e o Windows tem uma maneira diferente de tratar quebra de linha em arquivos texto Além disso, o LaTeX costuma indentar as primeiras linhas de paragrafos... Combinando essas duas coisas, pode ser que o PSTricks esteja se confundindo com relacao a inicios de paragrafos na hora de calcular as posicoes para desenhar os arcos... e aí os arcos aparecem um pouco indentados pra direita... Uma maneira de testar se isso faz algum sentido seria voce configurar o paragraph indentation length pra 0 cm no inicio do seu documento e ver o que acontece... Até! Bruno Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ http://www.logic.at/people/bruno/ From: adolfo@gmail.com [mailto:adolfo@gmail.com] On Behalf Of Adolfo Neto Sent: Sonntag, 14. Juni 2009 20:55 To: Bruno Woltzenlogel Paleo Cc: Fernando Naufel do Amaral; logica-l Subject: Re: [Logica-l] Formulas com links em LaTeX Olá Bruno, É, no MikTex também funcionou comigo... Mas continuo sem saber porque não funcionou no latex para Linux... Até, Adolfo = Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com == 2009/6/12 Bruno Woltzenlogel Paleo bruno...@gmail.com Olá! --- Curioso. Testei os três e o único que funcionou foi o xypic... Alguém saberia dizer por que? Envio em anexo o documento completo. - Compilei aqui o documento que voce enviou, e as tres alternativas funcionaram. Segue em anexo um snapshot... Estou usando MiKTeX... Até, Bruno Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ http://www.logic.at/people/bruno/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Formulas com links em LaTeX
Olá! --- Curioso. Testei os três e o único que funcionou foi o xypic... Alguém saberia dizer por que? Envio em anexo o documento completo. - Compilei aqui o documento que voce enviou, e as tres alternativas funcionaram. Segue em anexo um snapshot... Estou usando MiKTeX... Até, Bruno Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ http://www.logic.at/people/bruno/ attachment: Aufzeichnen.JPG___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] O problema da parada, entropia, logica e literatura...
Olá, 2009/5/30 Marcelo Finger mfin...@ime.usp.br escreveu: O que poucas pessoas parecem perceber é que pela segunda lei da termodinâmica, todo programa que rode em qualquer computador real eventualmente termina; possivelmente, sem dar resposta nenhuma. Portanto, via Física, o problema da parada na prática é decidível, e a decisão é sempre sim. Neste caso, o que é indecidível é prever qto tempo um programa demora pra parar. E se ele dará resposta ou não antes de parar. O conto The Last Question (http://www.multivax.com/last_question.html), do Isaac Asimov, relaciona computacao (de certa forma, automated theorem proving, mais especificamente) e a segunda lei da termodinamica de uma maneira interessante... Até mais, Bruno Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Formulas com links em LaTeX
Olá, Agradeco ao Carlos Gonzalez, ao Marcelo Finger e ao Joao Marcos pelas dicas. Experimentei-as e me parece que o mais facil pra conseguir o que eu quero é usar o pst-node (parte do pstricks). Aquele exemplo que citei pode ser feito assim: $$ (\Rnode{1}{A} \wedge \Rnode{2}{B}) \vee (\Rnode{3}{C} \wedge \Rnode{4}{D}) \nccurve[angleA=90,angleB=90]{1}{3} \nccurve[angleA=90,angleB=90]{2}{4} $$ Bem simples. Se alguem souber algo mais simples, por favor me avise! Joao Marcos: eu tentei usar o xy-pic por algumas horas, mas nao consegui ler além dos comandos basicos, low-level, no reference guide. Por acaso voce sabe se o xy-pic tem comandos mais high-level que calculem as coordenadas das curvas automaticamente? Até, Bruno -Original Message- From: Joao Marcos [mailto:botoc...@gmail.com] Sent: Samstag, 30. Mai 2009 21:23 To: Marcelo Finger Cc: Bruno Woltzenlogel Paleo; logica-l@dimap.ufrn.br Subject: Re: [Logica-l] Formulas com links em LaTeX Costumo recorrer ao xypic, que me parece razoavelmente fácil de usar. Mais específico (nunca usei) para alguns objetivos é o pacote diagram. Sempre vale lembrar que muitos pacotes específicos para *Lógica* podem ser encontrados a partir de: http://www.phil.cam.ac.uk/teaching_staff/Smith/logicmatters/latexforlogician .html JM 2009/5/30 Marcelo Finger mfin...@ime.usp.br: Bruno. Para este tipo de coisa (e muitas outras) eu uso o pstricks []s Marcelo 2009/5/30 Bruno Woltzenlogel Paleo bruno...@gmail.com Olá, Eu gostaria de poder escrever, em LaTeX, formulas com links ligando algumas de suas subformulas atomicas. Por exemplo, eu quero escrever uma formula (A and B) or (C and D) com arcos acima ou abaixo da formula, conectando A com C e B com D... Alguem conhece algum pacote que me permitiria fazer isso da maneira mais fácil possivel? Obrigado por qualquer sugestao! Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ -- My homepage: http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l