segunda-feira, 24 de novembro de 2014

Novos artigos do Logic Journal of the IGPL - Vol. 22, No. 6 - December 2014



Saiu o número mais recente do Logic Journal of the IGPL. Um dos Editors in Chief deste journal é o meu orientador de mestrado, Ruy de Queiroz.

De todos os artigos, os mais interessantes para mim parecem ser os três abaixo. O primeiro, por Marcelo Coniglio ter sido meu professor na Unicamp e por eu ter trabalhado com Lógicas de Inconsistência Formal na minha tese de doutorado. O segundo por estar relacionado a tablôs, com que também trabalhei na minha tese. E o terceiro por relacionar lógica a classes de complexidade.

Logics of formal inconsistency arising from systems of fuzzy logic
Marcelo E. Coniglio, Francesc Esteva, and Lluís Godo
Logic Jnl IGPL 2014 22: 880-904


A tableaux-like method to infer all minimal keys
P. Cordero, M. Enciso, A. Mora, and I. Pérez de Guzmán
Logic Jnl IGPL 2014 22: 1019-1044

Logics for complexity classes
Vladimir Naidenko
Logic Jnl IGPL 2014 22: 1075-1093

Nenhum comentário:

Postar um comentário