Linear Logic
CHF 49.60
Auf Lager
SKU
CNPV4BGPSMM
1 Verfügbar 
Kostenloser Versand ab CHF 50
Geliefert zwischen Di., 21.10.2025 und Mi., 22.10.2025
Details
Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics, particularly because of its emphasis on resource- boundedness, duality, and interaction. Linear logic lends itself to many different presentations, explanations and intuitions. Proof-theoretically, it derives from an analysis of classical sequent calculus in the absence of the structural rules of weakening and contraction. (This has the effect that certain propositions which are classically/intuitionistically valid are not directly provable in linear logic, although both classical and intuitionistic logic can be encoded in linear logic by means of additional modal connectives, the so-called exponentials.) Operationally, the rejection of weakening and contraction can be seen as reorienting the subject of logic, from persistent truths to ephemeral resources.
30 Tage Rückgaberecht
GarantieWeitere Informationen
- Allgemeine Informationen
- GTIN 09786130751098
- Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
- EAN 9786130751098
- Format Fachbuch
- Titel Linear Logic
- Herausgeber Alphascript Publishing
- Anzahl Seiten 112
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
