Our Initiatives
Logic Curriculum
Developing comprehensive logic education programs for universities and secondary schools worldwide. Formal reasoning as a fundamental skill.
Open Research
Funding and publishing open-access research in formal logic, computational reasoning, and applied logical systems across disciplines.
Logic Network
Connecting logicians, philosophers, and computer scientists through conferences, workshops, and collaborative research programs.
Public Logic
Making logical thinking accessible to the general public through media, workshops, and tools for critical reasoning in daily life.
Formal Standards
Establishing standards for logical notation, proof verification, and reasoning assessment used by institutions worldwide.
Logic Archive
Preserving and digitizing the history of logical thought — from Aristotle's syllogisms to modern proof assistants.