"Paraconsistent Logic: Consistency, Contradiction and Negation" (Walter Carnielli e Marcelo E. Coniglio)

[Walter Carnielli]

Caros colegas e estudantes:

É com satisfação que anunciamos que nosso livro
"Paraconsistent Logic: Consistency, Contradiction and Negation"
(autores: Walter Carnielli e Marcelo E. Coniglio)

http://link.springer.com/book/10.1007/978-3-319-33205-5?wt_mc=alerts.TOCseries

acaba de ser publicado na série Logic, Epistemology, and the Unity of
Science, Volume 40, 2016, com 9 capítulos:

1. Contradiction and (in)Consistency

2. A Basic Logic of Formal Inconsistency: mbC

3. Some Extensions of mbC

4. Matrices and Algebraizability

5. LFIs Based on Other Logics

6. Semantics of Non-deterministic Character for LFIs.

7. First-Order LFIs

8. Paraconsistent Set Theory

9. Paraconsistency and Philosophy of Science: Foundations and Perspectives

Pessoas interessadas em fazer um review podem obter uma copia grátis,
depois de publicarem o review baseado em uma cópia digital:

http://www.springer.com/gp/reviewers/online-review-copies---all-in-a-nutshell/4798

Abraços,

Walter e Marcelo


--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

[Jorge Alberto Molina]

Parabéns Walter e Marcelo
Jorge Alberto Molina
________________________________________
De: Walter Carnielli [walter.c...@gmail.com]
Enviado: segunda-feira, 11 de julho de 2016 22:12
Para: Lista dos Logicos Brasileiros
Assunto: [Logica-l] "Paraconsistent Logic: Consistency, Contradiction and Negation" (Walter Carnielli e Marcelo E. Coniglio)

Caros colegas e estudantes:

http://link.springer.com/book/10.1007/978-3-319-33205-5?wt_mc=alerts.TOCseries

1. Contradiction and (in)Consistency

4. Matrices and Algebraizability

7. First-Order LFIs

8. Paraconsistent Set Theory

http://www.springer.com/gp/reviewers/online-review-copies---all-in-a-nutshell/4798

Abraços,

Walter e Marcelo

--
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+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/CA%2Bob58OMCQTreruwOCWyHG_-pvyAwpCE5ZgBNmJATx8ejAZO3w%40mail.gmail.com.

[Famadoria]

Parabens!!!

Sent from my iPhone

[Marcelo Finger]

Walter e Marcelo.

Parabéns atrasados devido às Férias!!!

[]s

--
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+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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/CA%2Bob58OMCQTreruwOCWyHG_-pvyAwpCE5ZgBNmJATx8ejAZO3w%40mail.gmail.com.

--

 Marcelo Finger
 Departament of Computer Science, IME    
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

[Walter Alexandre Carnielli]

Caro Marcelo:

Muito obrigado, vindo de você nunca eh tardio, apenas bem refletido :-)

Aproveitamos a oportunidade para agradece aas dezenas de mensagens congratulatorias que recebemos de colegas desta lista.

Abracos,

Walter

--
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 logica-l+u...@dimap.ufrn.br.

Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx04V3n6WnkYC6Edq9Mgo3QaayA_NzriFjbfK4JvYyAkWA%40mail.gmail.com.