The conference "Logic, Algebra and Truth Degrees 2010" was held on 7-11 September 2010 in Prague, the Czech Republic.

Logic, Algebra and Truth Degrees was the second official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic.

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, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy.

The main goal of this meeting was to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields.

The featured topics included, but were not limited to, the following:**Proof systems for fuzzy logics**: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc.**Algebraic semantics**: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc.**Game-theory**: Giles games, Rényi-Ulam games, evaluation games, etc.**First-order fuzzy logics**: axiomatizations, arithmetical hierarchy, model theory, etc.**Higher-order fuzzy logical systems**: type theories, Fuzzy Class Theory, and formal fuzzy mathematics.**Philosophical issues**: connections with vagueness and uncertainty.**Applied fuzzy logical calculi**: foundations of logical programming, logic-based reasoning about similarity, description logics, etc.

We also welcomed contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general).

The conference scientific programme included several tutorials, invited lectures and contributed talks. Researchers whose interests fitted in the general aims of the conference were encouraged to participate.

The second call for papers can be downloaded here. You can also download the conference poster here.

The Volume of Abstracts can be downloaded here and slides are available from the Program section.

The conference was organized by

- Institute of Computer Science, Academy of Sciences of the Czech Republic,
- Institute for Theoretical Computer Science, Charles University, Prague,
- Faculty of Mathematics and Physics, Charles University, Prague.

For further information please contact: latd2010 at mathfuzzlog dot org

Last page update: 18 February 2010

For further information please contact: latd2010 at mathfuzzlog dot org

For further information please contact: latd2010 at mathfuzzlog dot org