• Home Page
• Important dates
• Committees
• Invited speakers
• Tutorials
• Contributed talks
• Venue and social program
• Expression of interest
• Previous LATD conferences

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

Logic, Algebra and Truth Degrees is 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 is 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 include, but are 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 welcome 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 will include several tutorials, invited lectures and contributed talks. Researchers whose interests fit in the general aims of the conference are encouraged to participate.

The first call for papers can be downloaded here.

For further information please contact: latd2010 at mathfuzzlog dot org