Buenos Aires, April 16-19, 2008

 

AIM & SCOPE

The computer advance of the last decades has given rise to different areas of research. One of the most important is the treatment of uncertain or vague information. This treatment constitutes a multidisciplinary area of investigation that involves computer scientists, logicians, mathematicians and engineers.

 Logical systems that admit more truth values than the two traditional “truth” and “false” values have recently received renewed attention due to their multiple applications in the design of experts systems that can make decisions based on uncertain, incomplete or vague information. The techniques developed from the study of multivalued logics have proved to be efficient and flexible to represent and manipulate uncertain information. Many of these applications are based on logical systems whose truth values are in the real segment [0, 1]. In particular, systems where the conjunction is interpreted by a continuous t-norm (i.e., a binary commutative, associative and monotone operation on [0, 1] that has 1 as neutral and 0 as absorbent elements). Some of the most important multivalued logics in the literature are instances of logics based on t-norms: Łukasiewicz logic, Post logic, linear intuitionistic logic, basic logic, monoidal t-norm-based logic.

               The aforementioned multivalued logics may be considered within the framework of substructural logics. These are logics lacking some or all of the structural rules when they are formalized in sequent systems. They include many of the well-known nonclassical logics, e.g., Lambek calculus for categorical grammar (with no structural rules), linear logic (with only the exchange rule), BCK-logic and Lukasiewicz’s many-valued logics (lacking the contraction rule), and relevant logics (lacking the weakening rule). The algebraic structures that serve as suitable semantics for substructural logics are residuated lattices.  The study of residuated lattices was originated in the context of the theory of ring ideals in the 1930’s by M. Ward and Dilworth, but it has been revived recently as a study of mathematical structures for substructural logics. A residuated lattice consists of a lattice and a partially ordered monoid with residuation. Residuated lattices form a variety (equational class) of algebras that contains among its important subvarieties the variety of lattice ordered groups, the variety of Heyting algebras, the variety of  BL-algebras and MTL-algebras. Thus, residuated lattices provide a framework for studying many fundamental properties of these structures, and this realization has led to an extensive research activity in this field. 

  This conference tries to be a space where Argentinean as well as Latin-american researchers exchange experiences and interact with out-standing foreigner colleagues. Meanwhile we hope that the PHD students get profit with these debates of ideas and manage to take part of future scientific collaborations. The essential topics that the conference would cover would be:  

  • Residuated lattices

  • Substructural logics

  • Multivalued logics Fuzzy logics  

  • Duality theory for algebraic structures

  • Topological methods in algebraic logic

  • Modal logics

The scientific programme of the congress will include invited lectures and contributed talks. Researchers whose interests fit the general aims of the conference are encouraged to participate.

All talks/lectures will be held at IAM, and will begin at 9:00 a.m. on Wednesday, April 16, 2008, and end on Saturday, April 19, 2008 at 4:00 p.m.  

CONTACT

Please visit this site for additional information and regular updates, and use the conference e-mail address rsal@dc.uba.ar to reach the local organizers.

 

Support

This conference  has been supported By Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET-Argentina) and by The Consortium of Order, Algebra and Logic, (Universidad of Florida and Vanderbilt University).

Interest

This conference has been declared of interest by: