nach oben

Soft Computing

Erschienen in:

24.07.2019 | Foundations

Monadic pseudo-equality algebras

verfasst von: Shokoofeh Ghorbani

Erschienen in: Soft Computing | Ausgabe 24/2019

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

In this paper, we introduce the concept of monadic pseudo-equality algebras and obtain some related properties. We study the relations between monadic pseudo-equality algebras, monadic bounded hoops and monadic pseudo-BCI-algebras. Then, we introduce and study monadic deductive systems and monadic congruences and discuss the relations between them. We use monadic deductive systems to define uniform topology on pseudo-equality algebras and obtain some topological results. Finally, the corresponding logic (monadic invariant pseudo-equality logic) is constructed and the soundness and completeness of this logic are proved based on monadic invariant pseudo-equality algebras.

Vorheriger Artikel On the variety of Gödel MV-algebras

Nächster Artikel The properties of -filters of a topological system

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

Bezhanisvili G (1999) On geVarieties of monadic Heyting algebras I. Stud Log 61:367–402CrossRef

Bosbach B (1966) Komplementäre Halbgruppen, Axiomatik und Arithmetik. Fundam Math 64:257–277MathSciNetCrossRef

Cattaneo G (1998) Abstract approximation spaces for rough theories. In: Polkowski L, Skowron A (eds) Rough sets in knowledge discovery 1: methodology and applications. Physica-Verlag, Wurzburg, pp 59–98

Ciungu LC (2014) On pseudo equality algebras. Arch Math Log 53:561–570MathSciNetCrossRef

Ciungu LC (2016) Commutative pseudo equality algebras. Soft Comput 21(16):4601–4616CrossRef

Ciungu LC (2018) State pseudo equality algebras. J Multi-Valued Log Soft Comput 30(4–6):573–613MathSciNetMATH

Di Nola A, Grigolia R (2004) On monadic MV-algebras. Ann Pure Appl Log 128:125–139MathSciNetCrossRef

Dudek WA, Jun YB (2008) Pseudo-BCI algebras. East Asian Math J 24:187–190MATH

Dvurečenskij A, Zahiri O (2016) Pseudo equality algebras-revision. Soft Comput 20:2091–2101CrossRef

Esteva F, Godo L (2001) Monoidal t-norm-based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288MathSciNetCrossRef

Figallo-Orellano A (2016) A topological duality for monadic MV-algebras. Soft Comput 21(23):7119–7123CrossRef

Georgescu G, Iorgulescu A (2001) Pseudo-BCK algebras: an extension of BCK-algebras, DMTCS01: combinatorics, computability and logic. Springer, London, pp 97–114MATH

Grigolia R (2006) Monadic BL-algebras. Georgain Math J 13:267–276MathSciNetMATH

Halmos RP (1962) Algebraic logic. Chelsea Publ Co, New YorkMATH

Iorgulescu A (2004) On pseudo-BCK algebras and porims. Sci Math Jpn 10:293–305MathSciNetMATH

Iséki K (1966) An algebra related with a propositional calculus. Proc Jpn Acad 42:26–29MathSciNetCrossRef

Iséki K (1980) On BCI-algebras. Math Semin Notes (Kobe Univ) 8(1):125–130MATH

Jenei S (2012) Equality algebras. Stud Log 100:1201–1209MathSciNetCrossRef

Jenei S, Kóródi L (2013) Pseudo equality algebras. Arch Math Log 52:469–481MathSciNetCrossRef

Joshi KD (1997) Introduction to general topology. New Age Publisher, New Delhi

Novák V (2011) EQ-algebra-based fuzzy type theory and its extensions. Log J IGPL 19:512–542MathSciNetCrossRef

Novák V, De Baets B (2009) EQ-algebras. Fuzzy Sets Syst 160:2956–2978MathSciNetCrossRef

Novák V, Dyba M (2011) EQ-logics: non-commutative fuzzy logics based on fuzzy equality. Fuzzy Sets Syst 172:13–32MathSciNetCrossRef

Rachunek J, Šalounová D (2008) Monadic bounded commutative residuated l-monoids. Order 25:157–175MathSciNetCrossRef

Rachunek J, Šalounová D (2013) Monadic bounded residuated lattices. Order 30:195–210MathSciNetCrossRef

Rutledge JD (1959) A preliminary of the infinitely many-valued predicate calculus. Ph.D. Thesis, Cornell University

Wang J, Xin X, He P (2018) Monadic bounded hoops. Soft Comput 22:1749–1762CrossRef

Xin X, Fu Y, Lai Y, Wang J (2019) Monadic pseudo BCI-algebras and corresponding logics. Soft Comput 23:1499–1510CrossRef

Titel: Monadic pseudo-equality algebras
verfasst von: Shokoofeh Ghorbani
Publikationsdatum: 24.07.2019
Verlag: Springer Berlin Heidelberg
Erschienen in: Soft Computing / Ausgabe 24/2019
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI: https://doi.org/10.1007/s00500-019-04243-5

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 24/2019

An identity-based encryption technique using subtree for fuzzy user data sharing under cloud computing environment

A hybrid evolutionary approach based on the invasive weed optimization and estimation distribution algorithms

Fuzzy simulation of European option pricing using mixed fractional Brownian motion

Devanagari ancient character recognition using DCT features with adaptive boosting and bootstrap aggregating

An improved general type-2 fuzzy sets type reduction and its application in general type-2 fuzzy controller design

Information structures and uncertainty measures in a hybrid information system with images

Premium Partner