Solving equations in pure double Boolean algebras - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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.
Fichier principal
Vignette du fichier
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

Dates et versions

hal-03176437 , version 1 (24-03-2021)

Identifiants

  • HAL Id : hal-03176437 , version 1

Citer

Philippe Balbiani. Solving equations in pure double Boolean algebras. 30th International Workshop on Unification (UNIF 2016), Jun 2016, Porto, Portugal. pp.13-18. ⟨hal-03176437⟩
31 Consultations
21 Téléchargements

Partager

Gmail Facebook X LinkedIn More