The conference "Logic, Algebra and Truth Degrees" will be held on 8-11 September 2008 in the College Santa Chiara, Siena.
Logic, Algebra and Truth Degrees is the first official meeting of the recently founded 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 revealed 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.
- Extended fuzzy logical systems: adding modalities or truth constants, "dynamification", evaluated syntax, etc.
- Philosophical issues: connections with vagueness and uncertainty.
- Applied fuzzy logical calculi: foundations of logical programming, logic-based reasoning about similarity, description logics, etc.
The conference scientific programme will include several invited lectures
, contributed talks
and a round table
for discussing the general directions of the area. Researchers whose interests fit in the general aims of the conference are encouraged to participate.
The meeting will be supported by the "Gruppo Nazionale per le Strutture Algebriche e Geometriche e loro Applicazioni" (GNSAGA) and by the "Istituto Nazionale di Alta Matematica" (INDAM)