24 pages
Français

Formules et sequents Positions Coups Formalisation La theorie de MALL

-

Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

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


Sujets

Informations

Publié par
Publié le 01 janvier 2012
Nombre de lectures 12
Langue Français
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.