Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Formules et sequents Positions Coups Formalisation La theorie de MALL

De
24 pages
Formules et sequents Positions Coups Formalisation La theorie de MALL Mon deuxieme jeu logique: MALL Dedou Janvier 2012

  • deuxieme jeu logique

  • formules mult

  • all en echangeant ?

  • formule

  • famille finie de formules


Voir plus Voir moins
Formulesets´equnestoPisitnoCsuoFopsalrmatisnLio´htairoeMedeLLA
Mon
De´dou
MALL
deuxi`emejeulogique:
Janvier 2012
mrluseteoFsPositios´equentamroasiloCsnFspuor´edeieontithLaAMLL
L’ensembleMALLdes formules mult-additives estd´eniparlagrammaire: M:= x|x|>|0|1|⊥|MM|M&M|MM|MOM.
Les formules mult-additives
Exercice Ecrivez une formule impliquant tous les constructeurs.
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin