The assum
ption that “truth comes in degrees” has proved to
be very useful in many theoretical and applied are
as of Mathematics, Computer Science, and Philosoph
y.
\n The Logic Algebra and Truth Degrees (LAT
D) conference series started as an official meetin
g of the working group on Mathematical Fuzzy Logic
(the subdiscipline of mathematical logic dealing
with graded truth) and evolved into a wider meetin
g in algebraic logic and related areas. Its main g
oal is to foster collaboration between researchers
in these areas, and to promote communication and
cooperation with members of neighbouring fields.\n
LATD 2023 will take place in Tbilisi (Geo rgia) from 11 to 15 of September. It will be co-lo cated with the Seventeenth International Tbilisi S ummer School in Logic and Language (TBILISI 2023), 6-9 September. Moreover, after LATD, 18-22 Septem ber, there will be the Symposium on Logic, Languag e and Computation in nearby Telavi (Khacheti).
\nWe invite contributions on any
relevant aspects of logical systems (including ma
ny-valued, fuzzy, substructural, modal and quantum
logics), in particular:
\n • Proof theory and
computational complexity;
\n • Algebraic sema
ntics and abstract algebraic logic;
\n • First
-order, higher-order and modal formalisms;
\n
• Applications and foundational issues;
\n • G
eometric and game theoretic aspects.
\n Abstra
cts of contributed talks of 2-4 pages are to be pr
epared using the EasyChair class style and submitt
ed via EasyChair: https://easychair.org/conference
s/?conf=latd2023
\n The deadline for contribut
ions is 15 April 2023 and the notification of acce
ptance will be sent by 1 June 2023.