We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
Projectivity and unification in De Morgan and Kleene algebras / Simone Bova; Leonardo Manuel Cabrer. - In: ORDER. - ISSN 0167-8094. - STAMPA. - 31:(2014), pp. 159-187. [10.1007/s11083-013-9295-3]
Projectivity and unification in De Morgan and Kleene algebras
CABRER, LEONARDO MANUEL
2014
Abstract
We provide a complete classification of solvable instances of the equational unification problem over De Morgan and Kleene algebras with respect to unification type. The key tool is a combinatorial characterization of finitely generated projective De Morgan and Kleene algebras.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
bova-cabrer-order12.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
425.18 kB
Formato
Adobe PDF
|
425.18 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
