nach oben

Soft Computing

Erschienen in:

09.06.2017 | Foundations

A representation of residuated lattices satisfying the double negation law

verfasst von: Ivan Chajda

Erschienen in: Soft Computing | Ausgabe 6/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

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.

Vorheriger Artikel Mathematical analysis of schema survival for genetic algorithms having dual mutation

Nächster Artikel Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Belluce LP, Di Nola A, Ferraioli AR (2013) MV-semirings and their sheaf representation. Order 30:165–179MathSciNetCrossRefMATH

Bonzio S, Chajda I, Ledda A (2016) Representing quantum structures as near semiring. Logic J IGPL 24(2016):719–742MathSciNetCrossRef

Cignoli R, D’Ottaviano I, Mundici D (1999) Algebraic foundations of many-valued reasoning. Trends in logic. Kluwer Academic Publishers, Dordrecht, Boston, HeidelbergMATH

Chajda I, Länger H (2015) Commutative basic algebras and coupled near semirings. Soft Comput 19:1129–1134CrossRefMATH

Chajda I, Länger H (2016) Near semirings and semirings with involution. Miskolc Math Notes 17(2016):801–810MathSciNetMATH

Ciungu LC (2014) Non-commutative Multiple-Valued Logic Algebras. Springer Verlag, Heidelberg, New York, Dordrecht, ISBN 978-3-319-01588-0

Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: An algebraic glimpse at substructural logic. Elsevier, Amsterdam, Boston, DordrechtMATH

Gispert J (2003) Axiomatic extensions of nilpotent minimum logic. Rep Math Log 37:113–123MathSciNetMATH

Golan JS (1992) The theory of semirings with applications in mathematics and theoretical computer science. Wiley, New YorkMATH

Hájek P (1998) Mathematics of fuzzy logic, trends in logic. Kluwer Academic Publishers, Dordrecht, Boston, LondonMATH

Kuich W, Salomaa A (1986) Semirings, automata, languages. Springer, BerlinCrossRefMATH

Rachůnek J, Svoboda Z (2014) Interior and closure operators on bounded residuated lattices. Cent Eur J Math 12:534–544MathSciNetMATH

Titel: A representation of residuated lattices satisfying the double negation law
verfasst von: Ivan Chajda
Publikationsdatum: 09.06.2017
Verlag: Springer Berlin Heidelberg
Erschienen in: Soft Computing / Ausgabe 6/2018
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-017-2673-9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 6/2018

Technical attributes ratings in fuzzy QFD by integrating interval-valued intuitionistic fuzzy sets and Choquet integral

Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization

Analyzing Saaty’s consistency test in pairwise comparison method: a perspective based on linguistic and numerical scale

An evolutionary algorithm using spherical inversions

An adaptive neuro-fuzzy interface system model for traffic classification and noise prediction

SISR: System for integrating semantic relatedness and similarity measures