Concept lattices of isotone vs. antitone Galois connections in graded setting: Mutual reducibility revisited

  • Authors:
  • Radim Belohlavek;Jan Konecny

  • Affiliations:
  • DAMOL (Data Analysis and Modeling Lab), Department of Computer Science, Palacky University, 17. listopadu 12, 771 46 Olomouc, Czech Republic;DAMOL (Data Analysis and Modeling Lab), Department of Computer Science, Palacky University, 17. listopadu 12, 771 46 Olomouc, Czech Republic

  • Venue:
  • Information Sciences: an International Journal
  • Year:
  • 2012

Quantified Score

Hi-index 0.07

Visualization

Abstract

It is well known that concept lattices of isotone and antitone Galois connections induced by an ordinary binary relation and its complement are isomorphic, via a natural isomorphism mapping extents to themselves and intents to their complements. It is also known that in a fuzzy setting, this and similar kinds of reduction fail to hold. In this note, we show that when the usual notion of a complement, based on a residuum w.r.t. 0, is replaced by a new one, based on residua w.r.t. arbitrary truth degrees, the above-mentioned reduction remains valid. For ordinary relations, the new and the usual complement coincide. The result we present reveals a new, deeper root of the reduction: It is not the availability of the law of double negation but rather the fact that negations are implicitly present in the construction of concept lattices of isotone Galois connections.