28 June - 2 July 2027, LATD2027 (Logic Algebra and Truth Degrees 2027), Eszterházy Károly Catholic University, Eger [HU]
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.
Invited are contributions on any relevant aspects of logical systems (including many-valued, fuzzy, substructural, modal, and quantum logics), in particular: 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.