Solving equations in pure double Boolean algebras
Résumé
Herrmann et al. (2000) have generalized lattices of concepts to algebras of semiconcepts. Operations between semiconcepts give rise to pure double Boolean algebras. Such algebraic structures can be seen as the union of two Boolean algebras, the intersection of which being a lattice of concepts. In this paper, we study word problems and unification problems in several classes of pure double Boolean algebras.
Domaines
Informatique [cs]
Fichier principal
Solving equations in pure double Boolean algebras.pdf (108.07 Ko)
Télécharger le fichier
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|