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:

• W.A. Carnielli
• I.M.L. D'Ottaviano
• M.E. Coniglio

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 Traduções", coordinated by W.A. Carnielli) and congregating ten researchers from the University of São Paulo, State University of São Paulo at Rio Claro and Marilia, and Federal University of Uberlandia.
This project concentrates in the recovering of the historical sources of the concept of translation and interpretation between logical systems,the significance of translations, an abstract definition of translation between
logical systems, and an investigation of concrete cases of translations between well-known logical systems.

The Group has produced other works mainly in the areas of:

• Algebraization of Non-Classical Logics
• Foundations and Applications of Paraconsistent Logics
• Model Theory and Proof Theory of Many-Valued,
• Paraconsistent and Fuzzy Logics
• Foundations of Set Theory
• Heterodox Logics and Theoretical Computer Science
• Abstract Semantics for CONTEMPORARY LOGIC(*)

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.