|
Linear Logic
from Stanford Encyclopedia of Philosophy
(2023-9-17 7:48)
|
[Revised entry by Roberto Di Cosmo and Dale Miller on September 16, 2023.
Changes to: Main text, Bibliography]
Linear logic is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources. To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. Linear logic contains a fully involutive negation while maintaining a strong constructive interpretation. Linear logic...
|
|
Oktoberfest: In München starten die Wiesn
from DER SPIEGEL - Schlagzeilen
(2023-9-16 19:02)
|
Das Oktoberfest ist offiziell eröffnet: Münchens Oberbürgermeister Reiter hat das erste Fass mit zwei Schlägen angezapft. Die ersten Bilder von der Wiesn 2023.
|
|
Jina Mahsa Amini: Vater offenbar zwischenzeitlich festgesetzt
from DER SPIEGEL - Schlagzeilen
(2023-9-16 18:52)
|
Vor einem Jahr starb Jina Mahsa Amini und Irans Regime scheint sich vor einem Wiederaufflammen der Proteste zu fürchten. Aktivisten zufolge haben Mitglieder der Revolutionsgarden nun versucht, ihren Vater einzuschüchtern.
|
|
Thüringen: Staatskanzlei wirft CDU Absprache mit AfD vor
from DER SPIEGEL - Schlagzeilen
(2023-9-16 18:44)
|
Im Thüringer Landtag setzte die CDU eine Initiative zur Senkung der Grunderwerbsteuer auch mithilfe der AfD durch. Die Regierung von Ministerpräsident Ramelow spricht von gezielten Absprachen. Laut CDU gab es 0,0 Kontakt.
|
|
Formel 1: Weltverband verwarnt Red Bulls Motorsportberater Helmut Marko für rassistische Aussagen
from DER SPIEGEL - Schlagzeilen
(2023-9-16 18:35)
|
Helmut Marko warf dem Red-Bull-Piloten Sergio Pérez Mentalitätsprobleme vor, weil dieser Südamerikaner sei. Dafür ist er nun schriftlich verwarnt worden. Auch die Konkurrenz übt Kritik.
|
|
Oktoberfest: Festzelteöffnen - und verhängen kurz darauf den ersten Einlassstopp
from DER SPIEGEL - Schlagzeilen
(2023-9-16 18:28)
|
Am Samstagmorgen sind Tausende Besucher vor der offiziellen Eröffnung auf die Wiesn in München geströmt und standen wenig später mitunter vor verschlossenen Türen. Auch einen Oktoberfest-Patienten gab es schon vor dem ersten Bier.
|
|
Marathon in Skischuhen SPIEGEL Läuft
from DER SPIEGEL - Schlagzeilen
(2023-9-16 18:14)
|
Ich habe im Urlaub jemanden getroffen, der Marathon in Skischuhen gelaufen ist. Auch als laufende Krone hat er es schon probiert. Warum machen wir nicht häufiger Quatsch einfach, weil es Spaß macht?
|
|
Bildungsurlaub: Bis zu zehn zusätzliche Tage frei bei vollem Gehalt
from DER SPIEGEL - Schlagzeilen
(2023-9-16 17:49)
|
Millionen Angestellte in Deutschland haben Anspruch auf Bildungsurlaub, aber kaum jemand nutzt ihn. Oft aus Unwissenheit oder Angst vor den Vorgesetzten. Was hilft, um das eigene Recht wahrzunehmen, erklärt eine Expertin.
|
|
Hendrik Wüst und Jens Spahn - Bündnis der CDU-Spitzenleute: Der Borken-Pakt
from DER SPIEGEL - Schlagzeilen
(2023-9-16 17:41)
|
Hendrik Wüst und Jens Spahn verbindet ihre Herkunft und eine jahrzehntealte Verabredung. Ihr Ziel: gemeinsam in der CDU nach oben zu kommen. Nun könnten sie Friedrich Merz gefährlich werden.
|
|
Tesla Model S Plaid im Test: Keine runde Sache
from DER SPIEGEL - Schlagzeilen
(2023-9-16 17:36)
|
Mit dem Model S Plaid setzt Tesla erneut Elektroauto-Maßstäbe. Doch teils schießt der Wagen übers Ziel hinaus: Er beschleunigt absurd, das Lenkrad nervt mitunter, und die Blinkertasten sind geradezu dysfunktional.
|
