Linear Logic: Substructural logic, Jean-Yves Girard, Classical logic, Intuitionistic logic, Duality (mathematics), Constructivism (mathematics), ... languages, Game semantics, Quantum physics - Couverture souple

 
9786130751098: Linear Logic: Substructural logic, Jean-Yves Girard, Classical logic, Intuitionistic logic, Duality (mathematics), Constructivism (mathematics), ... languages, Game semantics, Quantum physics
Couverture souple
ISBN 10 : 6130751095 ISBN 13 : 9786130751098
Editeur : Alphascript Publishing, 2010

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Alphascript Publishing
Date d'édition
2010
Langue
anglais
ISBN 10 
6130751095
ISBN 13 
9786130751098
Reliure
Broché
Nombre de pages
112
Éditeur
Miller Frederic P., Vandome Agnes F., McBrewster John
Coordonnées du fabricant
non disponible
Personne responsable
non disponible