Soft Computing

, Volume 22, Issue 6, pp 1773–1776 | Cite as

A representation of residuated lattices satisfying the double negation law

  • Ivan Chajda


Every residuated lattice can be considered as an idempotent semiring. Conversely, if an idempotent semiring is finite, then it can be organized into a residuated lattice. Unfortunately, this does not hold in general. We show that if an idempotent semiring is equipped with an involution which satisfies certain conditions, then it can be organized into a residuated lattice satisfying the double negation law. Also conversely, every residuated lattice satisfying the double negation law can be considered as an idempotent semiring with an involution satisfying the mentioned conditions.


Residuated lattice Double negation law Idempotent semiring Involution 



The research of the author is supported by the project IGA PrF 2017012 Palacky University Olomouc and by the Austrian Science Fund (FWF), Project I 1923-N25, and the Czech Science Foundation (GAR): Project 15-34697L.

Compliance with ethical standards

Conflict of interest

The author declares that there is no conflict of interest.

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors.


  1. Belluce LP, Di Nola A, Ferraioli AR (2013) MV-semirings and their sheaf representation. Order 30:165–179MathSciNetCrossRefzbMATHGoogle Scholar
  2. Bonzio S, Chajda I, Ledda A (2016) Representing quantum structures as near semiring. Logic J IGPL 24(2016):719–742MathSciNetCrossRefGoogle Scholar
  3. Cignoli R, D’Ottaviano I, Mundici D (1999) Algebraic foundations of many-valued reasoning. Trends in logic. Kluwer Academic Publishers, Dordrecht, Boston, HeidelbergzbMATHGoogle Scholar
  4. Chajda I, Länger H (2015) Commutative basic algebras and coupled near semirings. Soft Comput 19:1129–1134CrossRefzbMATHGoogle Scholar
  5. Chajda I, Länger H (2016) Near semirings and semirings with involution. Miskolc Math Notes 17(2016):801–810MathSciNetzbMATHGoogle Scholar
  6. Ciungu LC (2014) Non-commutative Multiple-Valued Logic Algebras. Springer Verlag, Heidelberg, New York, Dordrecht, ISBN 978-3-319-01588-0Google Scholar
  7. Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: An algebraic glimpse at substructural logic. Elsevier, Amsterdam, Boston, DordrechtzbMATHGoogle Scholar
  8. Gispert J (2003) Axiomatic extensions of nilpotent minimum logic. Rep Math Log 37:113–123MathSciNetzbMATHGoogle Scholar
  9. Golan JS (1992) The theory of semirings with applications in mathematics and theoretical computer science. Wiley, New YorkzbMATHGoogle Scholar
  10. Hájek P (1998) Mathematics of fuzzy logic, trends in logic. Kluwer Academic Publishers, Dordrecht, Boston, LondonzbMATHGoogle Scholar
  11. Kuich W, Salomaa A (1986) Semirings, automata, languages. Springer, BerlinCrossRefzbMATHGoogle Scholar
  12. Rachůnek J, Svoboda Z (2014) Interior and closure operators on bounded residuated lattices. Cent Eur J Math 12:534–544MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  1. 1.Department of Algebra and GeometryPalacký University OlomoucOlomoucCzech Republic

Personalised recommendations