|Bom Dia!!Sexta,24 de Maio de 2013 - 10:18:39 - 3 Visitantes online!||
The Group for Theoretical and Applied Logic (GTAL)
Due to the similarity of interests, some researchers have unified their research perspectives, hence creating the GROUP FOR THEORETICAL AND APPLIED LOGIC (GTAL), formed by:
One of the main interests of
this Group is the investigation of the concept of TRANSLATIONS BETWEEN
LOGICAL SYSTEMS, theme of a project financed by FAPESP ("Projeto
coordinated by W.A. Carnielli) and congregating ten researchers from
University of São Paulo, State University of São Paulo at
Rio Claro and Marilia, and Federal University of Uberlandia.
The Group has produced other works mainly in the areas of:
The term CONTEMPORARY LOGIC(*) has been coined in substitution to Non-Classical Logic, based on the acknowledgement of the fact that most of the current research in formal logic (and also in computer science) falls under the label "non-classical". Contemporary Logic, thus, seems to be a more appropriate descriptive name for this area which has received so much attention of an evergrowing number of researchers and has proved to be not only of practical interest but also subject of a considerable philosophical attention.