• vendredi 05 juillet 2002 : MAP, UMR CNRS-MCC N° 694, École d'Architecture de Marseille-Luminy, 2° étage, salle de réunion
  Annonce commune MAP-LSIS
  Pour toutes informations complémentaires prendre contact avec :
  Mme Camilla SCHWIND au 04 91 82 71 90 ou Camilla.Schwind@gamsau.map.archi.fr
  
  
  • 14h30 : Lukasiewicz logic, substructural logics, and integer programming - Nicola OLIVETTI
    Professeur à l'Université de Turin
    Professeur associé à l'Université de la Méditerranée
    Actuellement accueilli au LSIS et au MAP
    
    Résumé :
    Lukasiewicz logic is one of the best known system of infinite valued logic and it is one of the fundamental type of fuzzy logic. We introduce it by means of the Urquhart-Scott possible-world semantics.On the one hand, this semantical presentation makes apparent the relationship of Lukasiewicz logic with substructural logics (such as linear and relevance logic). On the other hand, this semantic presentation can be used to design a tableau decision procedure for this logical system. The tableau procedure reduces validity checking to (mixed) integer programming.