Home

The conference Logic, Algebra and Truth Degrees 2016 will be held from 28 to 30 June 2016 in South Africa. It will be hosted by the Faculty of Science of the University of the Witwatersrand, Johannesburg, at the Hans Merensky Hotel, situated on the border of the world renowned Kruger National Park Game Reserve.

This will be the fifth instalment in the LATD conference series. Previous meetings were held in Siena (2008), Prague (2010), Kanazawa (2012) and Vienna (2014).

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. 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. This conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has 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. We encourage contributions on any relevant aspects of logical systems (including fuzzy, substructural, modal and quantum logics, and many-valued logics in general).

The featured topics include the following:

  • Proof theory and computational complexity
  • Algebraic semantics and abstract algebraic logic
  • First, higher-order and modal formalisms
  • Applications and foundational issues
  • Geometric and game theoretic aspects

The conference scientific programme includes 5 invited lectures and 29 contributed talks.

News

We are pleased to announce that LATD 2016 is sponsored by the DST-NRF Centre of Excellence in Mathematical and Statistical Sciences.
We would like to thank the Kurt Gödel Society for the generous donation towards LATD2016.
We would like to acknowledge the National Research Foundation (NRF) for its contribution towards LATD2016.
LATD 2016 is sponsored by the Association for Symbolic Logic (ASL).
Menu