We congratulate Prof. Dr. Aytekin Özel and the project team on their project entitled "A Formal Construction within the Historical Context of New Theories of Logical Inference," which has been funded under the TÜBİTAK 1001 program.

The project focuses on two specific topics in the fields of philosophical logic, philosophy of logic, traditional logic, and history of logic: the history of new theories of logical inference and a formal construction based on this historical groundwork. The aim of the study is to re-examine the logical inference theories developed from 1927 to the present day, both from a modern logic perspective and through independent interpretations, and to develop a new formal logical inference theory based on the available data.