In these notes we prove that, in quasi-discrete closure models, the ISLCS forward (backword) conditional reachability operator can be expressed using a (possibly) infinite disjunction of nested formulas using only conjunction and the IMLC backward (forward) proximity operator.
On the expressive power of IMLC and ISLCS
Ciancia V;Latella D;Massink M;
2022
Abstract
In these notes we prove that, in quasi-discrete closure models, the ISLCS forward (backword) conditional reachability operator can be expressed using a (possibly) infinite disjunction of nested formulas using only conjunction and the IMLC backward (forward) proximity operator.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_473241-doc_192820.pdf
accesso aperto
Descrizione: On the expressive power of IMLC and ISLCS
Dimensione
527.41 kB
Formato
Adobe PDF
|
527.41 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
