Skip to main content
Erschienen in: Soft Computing 12/2019

03.07.2018 | Foundations

A topological duality for tense \(\theta \)-valued Łukasiewicz–Moisil algebras

verfasst von: Aldo V. Figallo, Inés Pascual, Gustavo Pelaitay

Erschienen in: Soft Computing | Ausgabe 12/2019

Einloggen

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

search-config
loading …

Abstract

In 2011, tense \(\theta \)-valued Łukasiewicz–Moisil algebras (or tense \(LM_\theta \)-algebras) were introduced by Chiriţă as an algebraic counterpart of the tense \(\theta \)-valued Moisil propositional logic. In this paper we develop a topological duality for these algebras. In order to achieve this we extend the topological duality given in Figallo et al. (J Mult Valued Logic Soft Comput 16(3–5):303–322, 2010), for \(\theta \)-valued Łukasiewicz–Moisil algebras. This new topological duality enables us to describe the tense \(LM_\theta \)-congruences and the tense \(\theta LM_\theta \)-congruences on a tense \(LM_\theta \)-algebra and also to determine some properties of these algebras.

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!

Fußnoten
1
Recall that W is an increasing subset of X iff \(x\in W\) and \(x\le y\) imply \(y\in W.\)
 
Literatur
Zurück zum Zitat Boicescu V, Filipoiu A, Georgescu G, Rudeanu S (1991) Łukasiewicz–Moisil Algebras, annals of discrete mathematics, vol 49. North-Holland, AmsterdamMATH Boicescu V, Filipoiu A, Georgescu G, Rudeanu S (1991) Łukasiewicz–Moisil Algebras, annals of discrete mathematics, vol 49. North-Holland, AmsterdamMATH
Zurück zum Zitat Burges J (1984) Basic tense logic. In: Gabbay DM, Günter F (eds) Handbook of philosophical logic, vol II. Reidel, Dordrecht, pp 89–139CrossRef Burges J (1984) Basic tense logic. In: Gabbay DM, Günter F (eds) Handbook of philosophical logic, vol II. Reidel, Dordrecht, pp 89–139CrossRef
Zurück zum Zitat Chajda I, Paseka J (2015) Algebraic approach to tense operators, research exposition 22 in mathematics, vol 35. Heldermann Verlag, Germany, p 204MATH Chajda I, Paseka J (2015) Algebraic approach to tense operators, research exposition 22 in mathematics, vol 35. Heldermann Verlag, Germany, p 204MATH
Zurück zum Zitat Chiriţă C (2010) Tense \(\theta \)-valued Moisil propositional logic. Int J Comput Commun Control 5:642–653CrossRef Chiriţă C (2010) Tense \(\theta \)-valued Moisil propositional logic. Int J Comput Commun Control 5:642–653CrossRef
Zurück zum Zitat Chiriţă C (2011) Tense \(\theta \)-valued Łukasiewicz–Moisil algebras. J Mult Valued Logic Soft Comput 17(1):1–24MathSciNetMATH Chiriţă C (2011) Tense \(\theta \)-valued Łukasiewicz–Moisil algebras. J Mult Valued Logic Soft Comput 17(1):1–24MathSciNetMATH
Zurück zum Zitat Chiriţă C (2012a) Polyadic tense \(\theta \)-valued Łukasiewicz–Moisil algebras. Soft Comput 16(6):979–987CrossRefMATH Chiriţă C (2012a) Polyadic tense \(\theta \)-valued Łukasiewicz–Moisil algebras. Soft Comput 16(6):979–987CrossRefMATH
Zurück zum Zitat Chiriţă C (2012b) Tense multiple-valued logical systems. Ph.D. thesis, University of Bucharest, Bucharest Chiriţă C (2012b) Tense multiple-valued logical systems. Ph.D. thesis, University of Bucharest, Bucharest
Zurück zum Zitat Cignoli R (1970) Moisil algebras. Notas de Lógica Matemática 27. Inst. Mat. Univ. Nacional del Sur, Bahía Blanca Cignoli R (1970) Moisil algebras. Notas de Lógica Matemática 27. Inst. Mat. Univ. Nacional del Sur, Bahía Blanca
Zurück zum Zitat Diaconescu D, Georgescu G (2007) Tense operators on \(MV\)-algebras and Łukasiewicz–Moisil algebras. Fund Inf 81(4):379–408MATH Diaconescu D, Georgescu G (2007) Tense operators on \(MV\)-algebras and Łukasiewicz–Moisil algebras. Fund Inf 81(4):379–408MATH
Zurück zum Zitat Figallo AV, Pascual I, Ziliani A (2010) A duality for \(\theta \)-valued Łukasiewicz–Moisil algebras and applications. J Mult Valued Logic Soft Comput 16(3–5):303–322MathSciNetMATH Figallo AV, Pascual I, Ziliani A (2010) A duality for \(\theta \)-valued Łukasiewicz–Moisil algebras and applications. J Mult Valued Logic Soft Comput 16(3–5):303–322MathSciNetMATH
Zurück zum Zitat Figallo AV, Pascual I, Ziliani, A (2012) Principal and Boolean congruences on \(\theta \)-valued Łukasiewicz–Moisil algebra. Logic without frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, 17, pp 215–237 Figallo AV, Pascual I, Ziliani, A (2012) Principal and Boolean congruences on \(\theta \)-valued Łukasiewicz–Moisil algebra. Logic without frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday, 17, pp 215–237
Zurück zum Zitat Figallo AV, Pelaitay G (2011) Note on tense \(SHn\)-algebras. Ann Univ Craiova Ser Mat Inf 38(4):24–32MathSciNetMATH Figallo AV, Pelaitay G (2011) Note on tense \(SHn\)-algebras. Ann Univ Craiova Ser Mat Inf 38(4):24–32MathSciNetMATH
Zurück zum Zitat Figallo AV, Pelaitay G (2014) An algebraic axiomatization of the Ewald’s intuitionistic tense logic. Soft Comput 18(10):1873–1883CrossRefMATH Figallo AV, Pelaitay G (2014) An algebraic axiomatization of the Ewald’s intuitionistic tense logic. Soft Comput 18(10):1873–1883CrossRefMATH
Zurück zum Zitat Figallo AV, Pelaitay G (2015a) A representation theorem for tense \(n\times m\)-valued Łukasiewicz–Moisil algebras. Math Bohem 140(3):345–360MathSciNetMATH Figallo AV, Pelaitay G (2015a) A representation theorem for tense \(n\times m\)-valued Łukasiewicz–Moisil algebras. Math Bohem 140(3):345–360MathSciNetMATH
Zurück zum Zitat Figallo AV, Pelaitay G (2015b) Discrete duality for tense Łukasiewicz–Moisil algebras. Fund Inf 136(4):317–329MATH Figallo AV, Pelaitay G (2015b) Discrete duality for tense Łukasiewicz–Moisil algebras. Fund Inf 136(4):317–329MATH
Metadaten
Titel
A topological duality for tense -valued Łukasiewicz–Moisil algebras
verfasst von
Aldo V. Figallo
Inés Pascual
Gustavo Pelaitay
Publikationsdatum
03.07.2018
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 12/2019
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-018-3360-1

Weitere Artikel der Ausgabe 12/2019

Soft Computing 12/2019 Zur Ausgabe