Skip to main content
Erschienen in: Soft Computing 15/2017

24.05.2016 | Foundations

Tense operators on non-commutative residuated lattices

verfasst von: Mahmood Bakhshi

Erschienen in: Soft Computing | Ausgabe 15/2017

Einloggen

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

search-config
loading …

Abstract

In this paper, the algebraic properties of tense operators on a non-commutative residuated lattice are investigated. First, some examples and basic properties are given. Next, it is proved that the Dedekind–MacNeille completion of a tense non-commutative residuated lattice is again a tense non-commutative residuated lattice, together with suitable operations. In the sequel, the concept of tense filter is introduced and some structural theorems are given. Several characterizations of normal tense filters and maximal tense filters are obtained, as well. Also, some characterizations of tense non-commutative residuated lattices using normal tense filters are given.

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!

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!

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!

Literatur
Zurück zum Zitat Bakhshi M (2015) Tense pseudo \({\sf MV}\)-algebras. In: Proceedings of the 4th Iranian joint congress on fuzzy and intelligent systems, September 9–11, 2015, pp 18–22 Bakhshi M (2015) Tense pseudo \({\sf MV}\)-algebras. In: Proceedings of the 4th Iranian joint congress on fuzzy and intelligent systems, September 9–11, 2015, pp 18–22
Zurück zum Zitat Bakhshi M (2013) Some types of filters in non-commutative residuated lattices. Int J Math Comput 21:72–87MathSciNet Bakhshi M (2013) Some types of filters in non-commutative residuated lattices. Int J Math Comput 21:72–87MathSciNet
Zurück zum Zitat Blok WJ, Pigozzi D (1989) Algebrizable logics. Memoirs of the American Mathematical Society No. 396, American Mathematical Society, Providence Blok WJ, Pigozzi D (1989) Algebrizable logics. Memoirs of the American Mathematical Society No. 396, American Mathematical Society, Providence
Zurück zum Zitat Buşneag D, Piciu D, Paralescu J (2013) Divisible and semi-divisible residuated lattices. An Ştiinţ Univ Al I Cuza Iaşi Mat (NS) 14-45 Buşneag D, Piciu D, Paralescu J (2013) Divisible and semi-divisible residuated lattices. An Ştiinţ Univ Al I Cuza Iaşi Mat (NS) 14-45
Zurück zum Zitat Burges J (1984) Basic tense logic. In: Gabbay DM, Günther F (eds) Handbook of philosophical logic, vol II. Reidel, Dordrecht, pp 89–139CrossRef Burges J (1984) Basic tense logic. In: Gabbay DM, Günther F (eds) Handbook of philosophical logic, vol II. Reidel, Dordrecht, pp 89–139CrossRef
Zurück zum Zitat Chajda I, Kolar̆ík M (2012) Dynamic effect algebras. Math Slovaca 62:379–388MathSciNet Chajda I, Kolar̆ík M (2012) Dynamic effect algebras. Math Slovaca 62:379–388MathSciNet
Zurück zum Zitat Chirită C (2011) Tense \(\theta \)-valued Łukasiewicz–Moisil algebras. J Mult Valued Log Soft Comput 17:1–24MATH Chirită C (2011) Tense \(\theta \)-valued Łukasiewicz–Moisil algebras. J Mult Valued Log Soft Comput 17:1–24MATH
Zurück zum Zitat Ciungu LC (2006) Classes of residuated lattices. Ann Univ Craiova Math Comput Sci Ser 33:189–207MathSciNetMATH Ciungu LC (2006) Classes of residuated lattices. Ann Univ Craiova Math Comput Sci Ser 33:189–207MathSciNetMATH
Zurück zum Zitat Diaconescu D, Georgescu G (2007) Tense operators on MV-algebras and Łukasiewicz–Moisil algebras. Fund Inform 81:379–408MathSciNetMATH Diaconescu D, Georgescu G (2007) Tense operators on MV-algebras and Łukasiewicz–Moisil algebras. Fund Inform 81:379–408MathSciNetMATH
Zurück zum Zitat Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. Elsevier, AmsterdamMATH Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. Elsevier, AmsterdamMATH
Zurück zum Zitat Haveshki M, Saeid AB, Eslami E (2006) Some types of filters in \({\sf BL}\)-algebras. Soft Comput 10:657–664CrossRefMATH Haveshki M, Saeid AB, Eslami E (2006) Some types of filters in \({\sf BL}\)-algebras. Soft Comput 10:657–664CrossRefMATH
Zurück zum Zitat Höhle U (1995) Commutative residuated monoids. In: Hohle U, Klement P (eds) Non-classical logics and their applications to fuzzy subsets. kluwer academic publishers, Dordrecht Höhle U (1995) Commutative residuated monoids. In: Hohle U, Klement P (eds) Non-classical logics and their applications to fuzzy subsets. kluwer academic publishers, Dordrecht
Zurück zum Zitat Krull W (1924) Axiomatische Begründung der allgemeinen Ideal theorie. Sitzungsbrichte der physikalisch medizinischen Societäd der Erlangen 56:47–63MATH Krull W (1924) Axiomatische Begründung der allgemeinen Ideal theorie. Sitzungsbrichte der physikalisch medizinischen Societäd der Erlangen 56:47–63MATH
Zurück zum Zitat Lianzhen L, Kaitai L (2007) Boolean filters and positive implicative filters of non-commutative residuated lattices. Inf Sci 177:5725–5738CrossRefMATH Lianzhen L, Kaitai L (2007) Boolean filters and positive implicative filters of non-commutative residuated lattices. Inf Sci 177:5725–5738CrossRefMATH
Zurück zum Zitat Okada M, Terui K (1999) The finite model property for various fragments of intuitionistic linear logic. J Symb Log 64:790–802MathSciNetCrossRefMATH Okada M, Terui K (1999) The finite model property for various fragments of intuitionistic linear logic. J Symb Log 64:790–802MathSciNetCrossRefMATH
Zurück zum Zitat Pavelka J (1979) On fuzzy logic II. Enriched residuated lattices and semantics of propositional calcului. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25:119–134MathSciNetCrossRefMATH Pavelka J (1979) On fuzzy logic II. Enriched residuated lattices and semantics of propositional calcului. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25:119–134MathSciNetCrossRefMATH
Zurück zum Zitat Piciu D (2007) Algebras of fuzzy logic. Ed Universitaria, CraiovaMATH Piciu D (2007) Algebras of fuzzy logic. Ed Universitaria, CraiovaMATH
Zurück zum Zitat Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, WurzburgMATH Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, WurzburgMATH
Metadaten
Titel
Tense operators on non-commutative residuated lattices
verfasst von
Mahmood Bakhshi
Publikationsdatum
24.05.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 15/2017
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-016-2191-1

Weitere Artikel der Ausgabe 15/2017

Soft Computing 15/2017 Zur Ausgabe