LATD 2023

The assumption that “truth comes in degrees” has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy.

The Logic Algebra and Truth Degrees (LATD) conference series started as an official meeting of the working group on Mathematical Fuzzy Logic (the subdiscipline of mathematical logic dealing with graded truth) and evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

• Proof theory and computational complexity;

• Algebraic semantics and abstract algebraic logic;

• First-order, higher-order and modal formalisms;

• Applications and foundational issues;

• Geometric and game theoretic aspects.

LATD will partly overlap with the Seventeenth International Tbilisi Summer School in Logic and Language (TBILISI 2023), September 7-15, and DaLí: Dynamic Logic - New trends and applications, September 15-16. Moreover, after LATD, 18-22 September, there will be the 14th Symposium on Logic, Language and Computation in nearby Telavi (Khacheti).