BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6348@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20210708T103000
DTEND;TZID=Europe/Paris:20210708T113000
DTSTAMP:20241120T201409Z
URL:https://www.i2m.univ-amu.fr/evenements/semantiques-relationnelles-et-t
 raductions-modales-pour-generalized-basic-logic/
SUMMARY:Wesley Fussner (Laboratoire Dieudonné\, Université Côte d'Azur):
  Sémantiques relationnelles et traductions modales pour Generalized Basic
  Logic
DESCRIPTION:Wesley Fussner:  « Generalized Basic Logic » est une logique 
 sous-structurelle située à l'intersection de la « Basic Logic » de Há
 jek et de la logique intuitionniste propositionnelle. Ici\, je donne un ap
 erçu de Generalized Basic Logic en tant que variante intuitionniste de la
  logique de Łukasiewicz. En particulier\, je présenterai une sémantique
  relationnelle pour Generalized Basic Logic où les mondes sont évalués 
 dans des MV-algebras (analogue à la sémantique habituelle de Kripke à v
 aleur booléenne pour la logique intuitionniste). Sur la base de cette sé
 mantique relationnelle\, je donnerai ensuite une traduction de Generalized
  Basic Logic en une logique modale de Łukasiewicz qui est analogue à la 
 traduction de Gödel de la logique intuitionniste en logique modale classi
 que S4.\nRelational semantics and modal translations for Generalized Basic
  Logic\n“Generalized Basic Logic” is a sub-structural logic located at
  the intersection of Hájek's “Basic Logic” and propositional intuitio
 nist logic. Here I give an overview of Generalized Basic Logic as an intui
 tionist variant of Łukasiewicz logic. In particular\, I will present a re
 lational semantics for Generalized Basic Logic where worlds are evaluated 
 in MV-algebras (analogous to the usual Kripke semantics with boolean value
  for intuitionist logic). On the basis of this relational semantics\, I wi
 ll then give a translation of Generalized Basic Logic into a modal logic o
 f Łukasiewicz which is analogous to Gödel's translation of intuitionist 
 logic into classical modal logic S4.\nhttps://arxiv.org/abs/2106.05573\n\n
  En visio-conférence ici :\n\n  https://greenlight.lal.cloud.math.cnrs.f
 r/b/lio-hdc-jef\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 021/04/Wesley_Fussner.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR