Skip to main content

Theoretical and Applied Logic Group (GTAL)

History

The CLE Theoretical and Applied Logic Group is dedicated to research and teaching in some aspects of mathematical logics, especially non-classical logics, making numerous possibilities for applications to non-classical logic systems.

Some GLTA activities are centered around UNICAMP's Center for Logic, Epistemology and History of Science (CLE), which supports research activities and where classes, conferences and seminars usually take place.

Logic Seminars:

Held jointly by the Graduate Program in Philosophy at IFCH and the Group of Theoretical and Applied Logic (GLTA), the Logic Seminars (Program Seminars and Colloquia Logicae) usually take place on Wednesdays, developing an intense program on the topic. GLTA members also have workrooms in the CLE.

Group's Blog

Research Lines of the Formal Semantics GLTA Group

Research Lines

Objective: To study the different types of formal semantics for non-classical logics with emphasis on conceptual and application aspects.

Tree of knowledge: Human Sciences; Philosophy; Logic.

Contacts

Itala M. L. D'Ottaviano
Itala M. L. D'Ottaviano
Walter A. Carnielli
Walter A. Carnielli

Address

Centro de Lógica, Epistemologia e História da Ciência (CLE)
Universidade Estadual de Campinas - UNICAMP

Cidade Universitária "Zeferino Vaz"
Rua Sérgio Buarque de Holanda, 251, Barão Geraldo
CEP: 13083-859, Campinas-SP