Formules et sequents Positions Coups Formalisation La theorie de MALL

Dédou

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

• Formule

Informations

• Publié par: pefav
• Publié le: 01 janvier 2012
• Nombre de lectures: 12
• Langue: Français

Extrait

Formulesets´equnestoPisitnoCsuoFopsalrmatisnLio´htairoeMedeLLA

Mon

De´dou

MALL

deuxi`emejeulogique:

Janvier 2012

mrluseteoFsPositios´equentamroasiloCsnFspuor´edeieontithLaAMLL

L’ensembleMALLdes formules mult-additives estd´efiniparlagrammaire: M:= x|x|>|0|1|⊥|M⊕M|M&M|M⊗M|MOM.

Les formules mult-additives

Exercice Ecrivez une formule impliquant tous les constructeurs.