Environment Lattice

One may obtain environments by a process which starts from the empty environment, adds one assumption (in all possible ways), and then two assumptions ( in all possible ways), and so on. This incremental process may be represented in an environment lattic

{ }

{A}

{B}

{C}

{A, B}

{A, C}

{B, C}

{A, B, C}

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica