LATD2027 (Logic Algebra and Truth Degrees 2027)

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.