CAROL is the research group on Computability, Approximate Reasoning, Ordered structures, and Logics of the Federal University of Rio Grande do Norte (Natal/Brazil). It agglutinates researchers who are interested in the mathematical/formal aspects of computing and its applications. The group is registered at the CNPq database. Some members of the group also maintain a page on FB.

Our group’s interest areas are, among others:

  1. Fuzzy Logics and Systems
  2. Non-classical Logic and Its Applications
  3. Formal Specifications
  4. Automated Reasoning
  5. Interval Computations
  6. Domain Theory
  7. Automata Theory and Its Applications
  8. Mathematical Morphology and Its Applications
  9. The use of Computers in Education
  10. Models of Computation
  11. Safe and Secure Systems

Our objective: The requirements of new generation systems such as: interactivity, performance, suitability, low risk, quality, accuracy, validity, reliability, etc impose the integration of various technologies and paradigms. In parallel, the application of advanced technologies, a theoretical basis that supports the development of such systems is another key requirement. The purpose of our group is to develop research, promoting the deepening of those key technologies and integrating them, as well as developing the theoretical basis needed for the application of this research in order to enable the development of hybrid systems. It is also our goal to spread this work by the generation of technology, effective implementation of the various productive sectors of our society, beyond the generation of trainers through our scholars and students.

Formerly known as LoLITA (LOgic, Language, Information, Theory and Applications), the group changed its name in 2021 in light of a discussion about inclusivity, which can be found at this thread on the Google group LOGICA-L.

The new name is a tribute to our dear friend and colleague Carolina Blasio (1984-2017). Carol was a dedicated researcher as well as an exceptional human being, whose research interests included non-classical logics and generalized consequence relations, with special focus on plurivalent logics. Her scholarly contributions are:

More about her academic work can be found at her currículo lattes and Google scholar profile.

On the group’s new logo

The initial reference was to the diagram with 2-dimensional consequence used by Carolina Blasio in her PhD. On top of this, we have added elements referring to other topics of study of our research group, namely:

Computability: The lozenge is made of a Turing machine’s tape.

Approximate Reasoning: The colors of the tape follow a continuous gradient, as in the semantics of fuzzy logics.

Ordered Structures: The diagram has the structure of a complete lattice.

Logic: The diamond shape refers to the world of possibilities, be them realizable or not.

The yellowish palette refers to the xanana, the flower-symbol of Natal.