[Logica-l] Novo numero de Logica Universalis, especial hexagono

2012-06-19 Por tôpico jean-yves beziau
O ultimo numero de Logica Universalis
dedicado ao hexagono das oposicoes acabou de ser lançado
accessivel via CAPES:
**
Logica Universalis
Special Issue Hexagon of Opposition

The Power of the Hexagon
Jean-Yves Béziau
http://www.springerlink.com/content/9h2812560547l427/

From the Logical Square to Blanché’s Hexagon: Formalization, Applicability
and the Idea of the Normative Structure of Thought
Aimable-André Dufatanye
http://www.springerlink.com/content/cv797302546h1645/

Why the Logical Hexagon?
Alessio Moretti
http://www.springerlink.com/content/r32m3h369w730072/

Approaching the Alethic Modal Hexagon of Opposition
Peter Simons
http://www.springerlink.com/content/w745x50166806724/

A Hexagonal Framework of the Field F4  and the Associated Borromean Logic
René Guitart
http://www.springerlink.com/content/95721762461755gt/

From Blanché’s Hexagonal Organization of Concepts to Formal Concept
Analysis and Possibility Theory
Didier Dubois and Henri Prade
http://www.springerlink.com/content/y5k3751v81g13n6v/

The Classical Aristotelian Hexagon Versus the Modern Duality Hexagon
Hans Smessaert
http://www.springerlink.com/content/wpw6350x37254272/

Deontological Square, Hexagon, and Decagon: A Deontic Framework for
Supererogation
Jan C. Joerden
http://www.springerlink.com/content/0k652t62x46016r1/

How to Take Advantage of the Blur Between the Finite and the Infinite
Pierre Cartier
http://www.springerlink.com/content/0172635860601j46/

Logic and Colour
Dany Jaspers
http://www.springerlink.com/content/g224652542011636/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Re: [Logica-l] Relação de Consequência Tarskiana

2012-06-19 Por tôpico Adolfo Neto
Ok, pensei que seria óbvio, mas me enganei...

É o único livro sobre Lógica com o selo da Sociedade Brasileira de
Computação:
http://www.elsevier.com.br/site/produtos/Detalhe-produto.aspx?tid=2925&seg=3&isbn=978-85-352-2961-5&origem=AUTOR&tit=L%C3%93GICA%20PARA%20CI%C3%8ANCIA%20DA%20COMPUTA%C3%87%C3%83O

A resenha que aponta vários defeitos da primeira edição do livro é esta:

*"A lógica e o **consortio daemoniorum"*
Resenha Crítica de "Lógica para Ciência da Computação Fundamentos de
Linguagem, Semântica e Sistemas de Dedução", de
João Nunes de Sousa (Editora Campus Ltda., 2002)
Prof. Dr. Walter A. Carnielli
Prof. Dr. Marcelo E. Coniglio
IFCH e CLE - UNICAMP
Arquivo para download:
[PDF]

Obtida em
http://www.cle.unicamp.br/principal/grupoglta/index.php?pag=publicacoes.php
Uma versão menor foi publicada em outro lugar, mas já está fora do ar.



2012/6/18 Joao Marcos 

> Bem, Adolfo, eh dificil saber no que vc estah pensando, ou mesmo a
> qual resenha critica vc estaria se referindo...
>
> Quanto ao livro de Marcelo & cia, parece que estah sendo mantido um
> site com errata.
>
> Abraccos, JM
>
> On 6/18/12, Adolfo Neto  wrote:
> > Joao,
> >
> > Se for o livro que estou pensando,  houve segunda edição e continuou
> cheio
> > de erros.
> >
> > Quanto ao outro livro do Flavio, Marcelo e Ana Cristina, que foi
> discutido
> > nesta lista (está nos arquivos em algum lugar), até onde sei não houve
> > segunda edição.
> >
> > Adolfo
> >
> > 2012/6/16 Joao Marcos 
> >
> >> > Depois vocês da Lógica ficam escrevendo resenhas criticando os erros
> >> > dos
> >> > livros de Lógica para Computação escritos por computeiros :)
> >>
> >> E este tipo de coisas é feito neste país?  Bem, da última vez que li
> >> um livro desses entreguei uma versão toda anotada diretamente ao
> >> autor, para que fossem providenciadas correções para a segunda edição.
> >> :-b  (Não sei se isto aconteceu.)
> >>
> >> JM
> >>
> >> --
> >> http://sequiturquodlibet.googlepages.com/
> >>
> >
> >
> >
> > --
> >
> >
> > ==
> > Adolfo Neto
> > Assistant Professor - Federal University of Technology, Paraná
> > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> > Twitter: http://twitter.com/adolfont
> > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> > ==
> >
> > 
> > Q: Why is this email three sentences or less?
> > A: http://three.sentenc.es
> >
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>



-- 


==
Adolfo Neto
Assistant Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Twitter: http://twitter.com/adolfont
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==


Q: Why is this email three sentences or less?
A: http://three.sentenc.es
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l