[Logica-l] França aprova em primeira instância lei que permite controle da internet

r 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

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

[Logica-l] Presuppositions and Implicatures

e 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.b

Re: [Logica-l] Digest Logica-l, volume 49, assunto 24

Prezados Walter e Tony, > o Antonio Marmo da Cunha Oliveira (Tony Marmo) é meu estudante de > Mestrado. Passo aqui seu e-mail, você (e quem mais se interessar > pelo tópico) podem entrar em contato, Obrigado, Walter. O Joao Marcos e o próprio Tony já haviam me passado o email do Tony també

[Logica-l] Automated Theorem Provers para Lógica s Paraconsistentes

) para lógicas paraconsistentes? Se sim, onde posso obtê-los? Eles já foram usados em aplicações concretas (e.g. reasoning with inconsistent data)? Obrigado por qualquer informação! Bruno Woltzenlogel Paleo http://www.logic.at/people/bruno/ http://www.loria.fr/~woltzenl

[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] Conferência no rio Amazonas?

-- 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] Provador automático de teoremas - ver são web

sar... Aqui vai o link: http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP Até... 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] Fwd: Erasmus Mundus Scholarships in Computational Logic, Master Programme, Bolzano (Italy), Dresden (Germany), Lisboa (Portugal), Vienna (Austria)

em 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

[Logica-l] PxTP: First Call for Papers

Pichardie (INRIA Rennes) Stephan Schulz (Technische Universität München) Aaron Stump (The University of Iowa) Geoff Sutcliffe (University of Miami) Laurent Théry (INRIA) Tjark Weber (University of Cambridge) Bruno Woltzenlogel Paleo (Technische Universität Wien

[Logica-l] ∀X.Xπ - APPA - Call for Participation/Registration

IMDEA Software Institute, Madrid, Spain) - Mathematical Proof Analysis: + Alexander Leitsch (Vienna University of Technology, Austria) Organizers == - David Delahaye (Cedric/Cnam/Inria, Paris) - Bruno Woltzenlogel Paleo (Vienna University of Technology) For more information, visit: htt

[Logica-l] PxTP 2017: Call for Papers

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ül

[Logica-l] Fwd: PxTP 2017: 2nd Call for Papers

elli (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 Compute

[Logica-l] PxTP: Third Call for Papers (New Deadline: 26th of June)

d 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 (I

[Logica-l] Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries

o 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-025

[Logica-l] European Masters Program in Computational Logic

MCL. Mas se alguem aí resolver aplicar, faca de tudo pra passar os dois anos em Vienna (um amigo meu de Israel conseguiu escapar de Madrid depois de 6 meses apenas, em vez de esperar o tempo usual de um ano)... Até mais, Bruno Woltzenlogel Paleo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] European Masters Program in Computational Logic

, especialmente se a foto for tirada num dia de sol... Até mais, Bruno Bruno Woltzenlogel Paleo Phone: +43 (680) 2109403 Skype: bruno.wp Website: <http://www.logic.at/people/bruno/> http://www.logic.at/people/bruno/ From: Francisco Antonio

[Logica-l] Formulas com "links" em LaTeX

permitiria fazer isso da maneira mais fácil possivel? Obrigado por qualquer sugestao! Bruno Woltzenlogel Paleo Website: http://www.logic.at/people/bruno/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br

Re: [Logica-l] Formulas com "links" em LaTeX

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: Brun

Re: [Logica-l] O problema da parada, entropia, logica e literatura...

t_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 B

Re: [Logica-l] Formulas com "links" em LaTeX

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.d

Re: [Logica-l] Formulas com "links" em LaTeX

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 Net

[Logica-l] Packages para Logica em Mathematica

o só o Theorema ( <http://www.risc.uni-linz.ac.at/research/theorema/description/> http://www.risc.uni-linz.ac.at/research/theorema/description/) ... Há mais algum? Até... Bruno ---- Bruno Woltzenlogel Paleo Website: <http://www.logic.at/peop

[Logica-l] 2 problemas de tradução, e a fixa ção de terminologia

stente e completa" Como fica isso do ponto de vista paraconsistente? Será que é possivel provar que existe uma teoria paraconsistente T' que seja completa, axiomatizavel, inconsistente, mas 'paraconsistente'? Ou existe uma versao paraconsistente do teorema de Gödel? Isso já

Re: [Logica-l] 2 problemas de tradução, e a fixa ção de terminologia

Nao é impossivel encontrar uma teoria completa T que extenda a aritmetica minima Q... Mas, se voce encontrar uma teoria assim, entao, pelo teorema de Gödel, ela tem que ser nao (recursivamente) axiomatizavel ou inconsistente... Até! Bruno ---- Bruno Woltzenl

Re: [Logica-l] 2 problemas de tradução, e a fixa ção de terminologia

ã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   ---

[Logica-l] GoogleGroups versus YahooGroups

servico, mas nunca me falaram como. E até hoje eu nao sei... 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

[Logica-l] Paradoxo de Berry, Teorema de Gödel e a Sentenca de Rosser

ero suficiente de "transformacoes", deve ser possivel relacionar qualquer sentenca usada para provar o teorema de gödel com qualquer paradoxo... Tambem deve ser possivel inventar paradoxos populares que correspondam as sentencas que o Doria mencionou, que usam "só" diagonalizaca

[Logica-l] satisfativel/satisfazivel

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

[Logica-l] Formalizacao de Teorias Fisicas

Ola, Por acaso alguem poderia me indicar papers ou livros que tratem de formalizacao logica de teorias fisicas (e.g. relatividade, mecanica quantica, mecanica newtoniana...)? Obrigado, Bruno -- Bruno Woltzenlogel Paleo ___ Logica-l mailing list

Re: [Logica-l] Pragmática Formal

Olá, > Alguém poderia me indicar algum material sobre o assunto? Na verdade > estou interessado em qualquer tentativa de sistematização da pragmática > ou da comunicação humana. Recentemente houve um workshop sobre métodos formais para lidar com discursos aqui no INRIA em Nancy, na França. Ta