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

Link: http://jigpal.oxfordjournals.org/content/22/6/880.abstract?etoc

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

Link: http://jigpal.oxfordjournals.org/content/22/6/1019.abstract?etoc

Logics for complexity classes

Vladimir Naidenko

Logic Jnl IGPL 2014 22: 1075-1093

Link: http://jigpal.oxfordjournals.org/content/22/6/1075.abstract?etoc