Zum Inhalt

Erweiterte Suche

Ergebnisvorschau für Ihre aktuellen Suchbegriffe: 0

Suchoperatoren:

Sie können Operatoren mit Ihrer Suchanfrage kombinieren, um diese noch präziser einzugrenzen. Klicken Sie auf den Suchoperator, um eine Erklärung seiner Funktionsweise anzuzeigen.
Findet Dokumente mit genau dieser Wortgruppe in exakt dieser Schreibweise und Reihenfolge (z.B. "employer branding").
Findet Dokumente, in denen beide Begriffe zusammen vorkommen (z.B. vertrieb UND bonus).
Findet Dokumente, in denen einer der beiden oder beide Begriffe vorkommen (z.B. porsche OR volkswagen).
Findet Dokumente, in denen alle Begriffe vorkommen. Das Leerzeichen wird als UND interpretiert (z.B. mensch roboter alltag).
Findet Dokumente, in denen der Begriff nach NOT nicht vorkommt (z.B. ford NOT "harrison ford").
Findet Dokumente, in denen der gesuchte Begriff mehr als n mal vorkommt. n steht für eine beliebige Anzahl (z.B. COUNT(getriebe)>8).
Findet Dokumente, in denen beide Begriffe in beliebiger Reihenfolge innerhalb von maximal n Worten zueinander stehen. Empfehlung: Wählen Sie zwischen 15 und 30 als maximale Wortanzahl (z.B. NEAR(hybrid, antrieb, 20)).
Findet Dokumente, in denen der Begriff in Wortvarianten vorkommt, wobei diese VOR, HINTER oder VOR und HINTER dem Suchbegriff anschließen können (z.B., leichtbau*, *leichtbau, *leichtbau*).
Findet Dokumente mit dem Suchbegriff in verschiedenen Schreibweisen. Das ? steht für eine einzige Stelle (z.B. organi?ation).
Sonderzeichen werden als UND interpretiert (z.B. Mann + Hummel).

Semantische Suche

powered by (Link öffnet in neuem Fenster)
loading …
Anmelden
Nach oben

Correspondence Theory on Vector Spaces

  • 2024
  • OriginalPaper
  • Buchkapitel
Erschienen in:
Verfasst von
Alessandra Palmigiano
Mattia Panettiere
Ni Wayan Switrayni
Erschienen in
Logic, Language, Information, and Computation
Verlag
Springer Nature Switzerland

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

search-config
loading …

Abstract

Dieses Kapitel vertieft die Anwendung der Korrespondenztheorie auf Vektorräume und erweitert die Semantik des Lambek-Kalküls, angereichert mit spannungsgeladenen Modaloperatoren. Es führt eine vollständige Semantik für analytische induktive Ungleichungen ein, die für die strukturelle Steuerung in der typlogischen Theorie von entscheidender Bedeutung sind. Der Aufsatz beginnt mit der Rückbesinnung auf grundlegende algebraische Definitionen und Tatsachen und erweitert dann die Korrespondenztheorie auf Algebren über ein Feld, das als Rahmen betrachtet wird. Es zeigt, wie analytische induktive Ungleichheiten in einfachere Formen umgeschrieben werden können, und demonstriert ihre Äquivalenz zu quasi-linken primitiven Ungleichheiten. Die Arbeit schließt mit der Charakterisierung der Bedingungen erster Ordnung, die diesen Ungleichheiten entsprechen, und diskutiert mögliche zukünftige Forschungsrichtungen im Kontext struktureller Steuerung und Bedeutungsräume.
KI-Generiert

Diese Zusammenfassung des Fachinhalts wurde mit Hilfe von KI generiert.

The first author acknowledges the NWO grant KIVI.2019.001.
The third author is supported by the Indonesian Education Scholarship, Ref. Number: 1027/J5.2.3/BPI.LG/VIII/2022.
The authors have received support from the EU’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 101007627.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Jetzt einloggen Kostenlos registrieren

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 "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

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
Vorheriges Kapitel Labelled Sequent Calculi for Inquisitive Modal Logics
Nächstes Kapitel An EXPTIME-Complete Entailment Problem in Separation Logic
Titel
Correspondence Theory on Vector Spaces
Verfasst von
Alessandra Palmigiano
Mattia Panettiere
Ni Wayan Switrayni
Copyright-Jahr
2024
Buch
Logic, Language, Information, and Computation

Print ISBN: 978-3-031-62686-9

Electronic ISBN: 978-3-031-62687-6

Copyright-Jahr: 2024

DOI
https://doi.org/10.1007/978-3-031-62687-6_10
Dieser Inhalt ist nur sichtbar, wenn du eingeloggt bist und die entsprechende Berechtigung hast.
Dieser Inhalt ist nur sichtbar, wenn du eingeloggt bist und die entsprechende Berechtigung hast.
Dieser Inhalt ist nur sichtbar, wenn du eingeloggt bist und die entsprechende Berechtigung hast.