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 11/2012

01.11.2012 | Focus

Admissibility in De Morgan algebras

verfasst von: George Metcalfe, Christoph Röthlisberger

Erschienen in: Soft Computing | Ausgabe 11/2012

Einloggen

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

search-config
loading …

Abstract

Characterizations of admissible quasi-identities, which may be understood as quasi-identities holding in free algebras on countably infinitely many generators, are provided for classes of De Morgan algebras and lattices.
Vorheriger Artikel Geometrical aspects of possibility measures on finite domain MV-clans
Nächster Artikel Extended-order algebras and fuzzy implicators

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
Literatur
Bergman C (1991) Structural completeness in algebra and logic. In: Andréka H, Monk J, Nemeti I (eds) Algebraic logic (proc. conf., Budapest, 8–14 August 1988), Colloquia Mathematica Societatis János Bolyai, vol 54. North-Holland, Amsterdam, pp 59–73
Burris S, Sankappanavar HP (1981) A course in universal algebra. Graduate texts in mathematics, vol 78. Springer, New YorkCrossRef
Cintula P, Metcalfe G (2010) Admissible rules in the implication-negation fragment of intuitionistic logic. Ann Pure Appl Log 162(10):162–171MathSciNetMATHCrossRef
Gaitán H, Perea MH (2004) A non-finitely based quasi-variety of De Morgan algebras. Stud Log 78(1–2):237–248MATHCrossRef
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. Elsevier, AmsterdamMATH
Jeřábek E (2010a) Admissible rules of Łukasiewicz logic. J Log Comput 20(2):425–447MATHCrossRef
Jeřábek E (2010b) Bases of admissible rules of Łukasiewicz logic. J Log Comput 20(6):1149–1163MATHCrossRef
Moisil G (1935) Recherches sur l’algébre de la logique. Ann Sci Univ Jassy 22(3):1–117
Olson JS, Raftery JG, Alten CJV (2008) Structural completeness in substructural logics. Log J IGPL 16(5):453–495MATHCrossRef
Rybakov VV (1997) Admissibility of logical inference rules. Studies in logic and the foundations of mathematics, vol 136. Elsevier, Amsterdam
Metadaten
Titel
Admissibility in De Morgan algebras
verfasst von
George Metcalfe
Christoph Röthlisberger
Publikationsdatum
01.11.2012
Verlag
Springer-Verlag
Erschienen in
Soft Computing / Ausgabe 11/2012
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-012-0839-z

Weitere Artikel der Ausgabe 11/2012

Soft Computing 11/2012 Zur Ausgabe

Editorial

Many-valued logic: beyond algebraic semantics

Focus

Vagueness: where degree-based approaches are useful, and where we can do without

Original Paper

An adaptive heuristic to the bounded-diameter minimum spanning tree problem

Original Paper

Automatic evolution of programs for procedural generation of terrains for video games

Focus

Hahn–Banach theorems for MV-algebras

Original Paper

E-perfect effect algebras

Premium Partner

    Bildnachweise