Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Soft Computing
Erschienen in: Soft Computing 12/2020

02.04.2020 | Foundations

Representation of De Morgan and (Semi-)Kleene Lattices

verfasst von: Umberto Rivieccio

Erschienen in: Soft Computing | Ausgabe 12/2020

Einloggen

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

search-config
loading …

Abstract

Twist-structure representation theorems are established for De Morgan and Kleene lattices. While the former result relies essentially on the quasivariety of De Morgan lattices being finitely generated, the representation for Kleene lattices does not and can be extended to more general algebras. In particular, one can drop the double negation identity (involutivity). The resulting class of algebras, named semi-Kleene lattices by analogy with Sankappanavar’s semi-De Morgan lattices, is shown to be representable through a twist-structure construction inspired by the Cornish–Fowler duality for Kleene lattices. Quasi-Kleene lattices, a subvariety of semi-Kleene, are also defined and investigated, showing that they are precisely the implication-free subreducts of the recently introduced class of quasi-Nelson lattices.
Vorheriger Artikel Human body flexibility fitness test based on image edge detection and feature point extraction
Nächster Artikel Residuated lattice of L-fuzzy ideals of a ring

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
Fußnoten
1
For the related class of Sugihara monoids, a twist-structure representation has been given in Galatos and Raftery (2015). An interesting question for further research is how the twist construction of Galatos and Raftery (2015) is related to (in particular, whether it can be viewed as a special case of) the ones introduced in Sects. 4 and 5.
 
2
As observed in Rivieccio and Spinks (2019), these conditions imply \(n(a_+) \wedge _- a_- = 0_-\) for all \(\langle a_+, a_- \rangle \in A\) and \(\pi _2[A] = L_-\). (I shall use these facts, sometimes without warning, in proofs.) The first holds because, since \(a_+ \wedge _+ p(a_-) = 0_+\), we can apply n to both sides of the equation and, using its properties, we obtain \(n(a_+ \wedge _+ p(a_-)) = n(a_+) \wedge _- n(p(a_-)) = n(a_+) \wedge _- a_- = 0_-= n(0_+) \) as required. Likewise, \(\pi _2[A] = L_-\) follows from \(\pi _1[A] = L_+\). In fact, for all \(a_- \in L_-\), we know that \(a_- = n(p(a_-))\), where \(p(a_-) \in L_+\). Then, \(\pi _1[A] = L_+\) guarantees that there is \(b_- \in L_- \) such that \(\langle p(a_-), b_- \rangle \in A\), which means that \(\lnot \langle p(a_-), b_- \rangle = \langle p(b_-), n(p(a_-) \rangle = \langle p(b_-), a_- \rangle \in A\). Thus, \(a_- \in \pi _2[A] \) as required.
 
3
I do not know how one could further relax Definition 5.1 so as to include \(\mathbf {A} _4\) as well. On the one hand, this would be desirable, because \(\mathbf {A} _4\)can indeed by represented by a twist-structure, as is easy to check. However, if we delete (SK 5) from Definition 5.1, then it is not clear how to make the twist-structure construction work in general. In this sense, \(\mathbf {A} _4\) is perhaps a fortunate case because, being a chain, it satisfies the “Ockham identity” \(\lnot (x \wedge y ) \approx \lnot x \vee \lnot y \) (see Proposition 5.3). This ensures that \(\mathbf {A} _4\) can be represented as a twist-structure, but of course replacing (SK 5) in Definition 5.1 with the Ockham identity would confine us to a quite specific subclass of semi-De Morgan lattices (i.e., Ockham lattices).
 
4
Implicative meet-semilattices are the \(\langle \wedge , \rightarrow \rangle \)-subreducts of Heyting algebras, corresponding to the conjunction–implication fragment of intuitionistic logic. Thus, in particular, the \(\langle \wedge , \rightarrow \rangle \)-reduct of every Heyting algebra is an implicative meet-semilattice.
 
5
This is probably the best occasion to point out an unfortunate terminological clash with the previous literature, of which M. Spinks and I were not aware while writing (Rivieccio and Spinks 2019). Cignoli (1986) and Odintsov (2010) in their wake, call a Kleene algebra that satisfies item (i) of Theorem 6.2 a quasi-Nelson algebra. I shall prove in Theorem 6.3 that every quasi-Nelson algebra in the sense of Rivieccio and Spinks (2019) indeed satisfies both items of Theorem 6.2; obviously, however, it need not be involutive. Thus, neither the quasi-Nelson algebras of Cignoli–Odintsov are a special case of ours, nor the other way around.
 
6
Indeed, the property of being \(({\mathbf {0}}, {\mathbf {1}})\)-congruence orderable does not seem unrelated to that of being representable by some kind of twist-structure construction, for both essentially rely on a filter separation property. This is quite clear at least in the context of residuated lattices, where filters are in one–one correspondence with congruences; see (Spinks et al. 2018, Section 7). In the quasi-Kleene context, one may observe, for instance, that the quasi-identity (iv) from Proposition 6.14 is essentially saying that two elements must be equal if they generate the same consistent filter and the same total filter...
 
Literatur
Albuquerque U (2015) Operators and strong versions of sentential logics in abstract algebraic logic. PhD dissertation, University of Barcelona
Brignole D, Monteiro A (1967) Caracterisation des algèbres de Nelson par des egalités. I, II. Proc Jpn Acad 43:279–285 Reproduced in Notas de Lógica Matemática No. 20, Universidad Nacional del Sur, Bahía Blanca (1964)MATHCrossRef
Cabrer LM, Craig AP, Priestley HA (2015) Product representation for default bilattices: an application of natural duality theory. J Pure Appl Algebra 219(7):2962–2988MathSciNetMATHCrossRef
Celani SA (2007) Representations for some algebras with a negation operator. Contrib Discrete Math 2(2):205–213MathSciNetMATH
Cignoli R (1986) The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Univ 23(3):262–292MathSciNetMATHCrossRef
Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, CambridgeMATH
Dunn JM (1966) The algebra of intensional logics. Doctoral dissertation, University of Pittsburgh
Fidel MM (1978) An algebraic study of a propositional system of Nelson. In: Arruda AI, Da Costa NCA, Chaqui R (eds) Mathematical logic, proceedings of the first Brazilian conference, vol 39. Lecture notes in pure and applied mathematics. Marcel Dekker, New York, pp 99–117
Galatos N, Raftery JG (2015) Idempotent residuated structures: some category equivalences and their applications. Trans Am Math Soc 367(5):3189–3223MathSciNetMATHCrossRef
Greco F, Liang F, Moshier A, Palmigiano A (2017) Multi-type display calculus for semi-De Morgan logic. In: Kennedy J, de Queiroz R (eds) Proceedings of WoLLIC 2017, pp 199–215
Jung A, Rivieccio U (2019) A duality for two-sorted lattices. (submitted)
Maia P, Rivieccio U, Jung A (2018) Non-involutive twist-structures. Logic J IGPL (Special issue on recovery operators and logics of formal consistency & inconsistencies)
Monteiro A (1960) Matrices de Morgan caractéristiques pour le calcul propositionnel classique. Anais da Academia Brasileira de Ciencias 33:1–7MATH
Monteiro A (1963) Construction des algèbres de Nelson finies. Bull Acad Pol Sci 11:359–362MATH
Nascimento T, Rivieccio U, Marcos J, Spinks M (2018) Algebraic semantics for Nelson’s logic \(S\). In: Moss L, de Queiroz R, Martinez M (eds) Logic, language, information, and computation. WoLLIC 2018, vol 10944. Lecture notes in computer science. Springer, Berlin, pp 271–288
Nascimento T, Rivieccio U, Marcos J, Spinks M (2019) Nelson’s logic \(S\). Logic J IGPL
Přenosil A (2015) The lattice of super-Belnap logics. (submitted)
Rivieccio U, Spinks M (to appear) Quasi-Nelson; or, non-involutive Nelson algebras. Trends Logic (special issue dedicated to the conference AsubL (Algebra and substructural logics—take 6), Cagliari
Rivieccio U, Flaminio T, Nascimento T (2020) On the representation of (weak) nilpotent minimum algebras. In: Proceedings of the 2020 IEEE international conference on fuzzy systems, Glasgow, UK, 19–24 July 2020
Metadaten
Titel
Representation of De Morgan and (Semi-)Kleene Lattices
verfasst von
Umberto Rivieccio
Publikationsdatum
02.04.2020
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 12/2020
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-020-04885-w

Weitere Artikel der Ausgabe 12/2020

Soft Computing 12/2020 Zur Ausgabe

Foundations

A latent variable model for two-dimensional canonical correlation analysis and the variational inference

Methodologies and Application

Automating fake news detection system using multi-level voting model

Foundations

On typical hesitant fuzzy automata

Methodologies and Application

Supplier selection using extended IT2 fuzzy TOPSIS and IT2 fuzzy MOORA considering subjective and objective factors

Foundations

MV-algebras as sheaves of -groups on fuzzy topological spaces

Foundations

A fuzzy generalized power series method under generalized Hukuhara differentiability for solving fuzzy Legendre differential equation

Premium Partner

    Bildnachweise