Formules et sequents Positions Coups Formalisation La theorie de MALL Coupures

Dédou

Description

Formules et sequents Positions Coups Formalisation La theorie de MALL Coupures Mon deuxieme jeu logique: MALL Dedou Janvier 2010

• definir des connecteurs binaires


• deuxieme jeu logique


• theorie de mall coupures


• connecteurs d'arite variable


• formule

Sujets

• Formule

Informations

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

Extrait

Formulesets´equnestoPisitnoCsuoFopsalrmatisnLio´htairoeMedeCLLAresoupu

De´dou

Mon

deuxi`emejeulogique:

MALL

Janvier 2010

Formules et sequents ´

du chapitre

Positions

1

Coups

2

Formalisation

3

Lathe´oriedeMALL

4

Coupures

5

6

Plan

oFs´equentrmulesetoCsnFspusoPsoitiontithLamaorsalioCpuAMLLeiede´roures

Les formules mult-additives

Exercice Ecrivez une formule impliquant tous les constructeurs.

M:= 1|0|M⊕M|M⊗M|>|⊥|M&M|MOM.

L’ensembleMALLdes formules mult-additives estd´efiniparlagrammaire:

FroousCFopssiPoontiuqe´stneelumstesALLCoupueoriedeMoiLnta´hmrlasitaser