Frederic P. Miller:Linear Logic
- pocketboek ISBN: 9786130751098
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… Meer...
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. Linear Logic: 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., Alphascript Publishing<
| | Rheinberg-Buch.deTaschenbuch, Englisch, Neuware Verzendingskosten:Ab 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, DE. (EUR 0.00) Details... |
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
MONSTER
Frederic P. Miller (Editor), Agnes F. Vandome (Editor), John McBrewster (Editor):Linear Logic
- nieuw boek ISBN: 9786130751098
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… Meer...
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 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. Books, Mathematics~~General, Linear-Logic~~Frederic-P-Miller, 999999999, Linear Logic, Frederic P. Miller (Editor), Agnes F. Vandome (Editor), John McBrewster (Editor), 6130751095, Alphascript Publishing, , , , , Alphascript Publishing<
| | BarnesandNoble.comMPN: , SKU 9786130751098 Verzendingskosten:zzgl. Versandkosten, exclusief verzendingskosten Details... |
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Frederic P. Miller:Linear Logic
- pocketboek 2010, ISBN: 6130751095
[EAN: 9786130751098], Neubuch, [PU: Alphascript Publishing], This item is printed on demand - it takes 3-4 days longer - Neuware -Linear logic is a substructural logic proposed by Jean-Yv… Meer...
[EAN: 9786130751098], Neubuch, [PU: Alphascript Publishing], This item is printed on demand - it takes 3-4 days longer - Neuware -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. 112 pp. Englisch, Books<
| | AbeBooks.deBuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Frederic P. Miller:Linear Logic
- nieuw boek ISBN: 9786130751098
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… Meer...
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. Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Mathematik<
| | Dodax.deNr. 57b88c5184603a091fac71ca Verzendingskosten:Versandkosten: 0.0 EUR, Lieferzeit: 3 Tage, DE. (EUR 0.00) Details... |
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Linear Logic
- pocketboekISBN: 9786130751098
[ED: Kartoniert / Broschiert], [PU: Alphascript Publishing], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Linear logic is a substructur… Meer...
[ED: Kartoniert / Broschiert], [PU: Alphascript Publishing], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 wi, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Softcover, 112, [GW: 170g], Banküberweisung, PayPal<
| | booklooker.deMoluna GmbH Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.