Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Dialectica Space
CHF 37.00
Auf Lager
SKU
F6FC82KBDCR
1 Verfügbar 
Geliefert zwischen Do., 29.01.2026 und Fr., 30.01.2026
Details
High Quality Content by WIKIPEDIA articles! Dialectica spaces are a categorical way of constructing models of linear logic. They were introduced by Valeria de Paiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling both linear logic and Gödel's dialectica interpretation hence the name. Given a category C and a specific object K of C with certain properties, one can construct the category of Dialectica spaces over C, whose objects are pairs of objects of C, related by a C-morphism into the given object. Morphisms of Dialectica spaces are similar to Chu space morphisms, but instead of an equality condition, they have an inequality condition.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131178351
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131178351
- Format Fachbuch
- Titel Dialectica Space
- Herausgeber Betascript Publishing
- Anzahl Seiten 64
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
