Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Linear_logic> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- Linear_logic abstract "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, as well as linguistics, 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 which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally, this means that logical deduction is no longer merely about an ever-expanding collection of persistent "truths", but also a way of manipulating resources that cannot always be duplicated or thrown away at will. In terms of simple denotational models, linear logic may be seen as refining the interpretation of intuitionistic logic by replacing cartesian closed categories by symmetric monoidal categories, or the interpretation of classical logic by replacing boolean algebras by C*-algebras.".
- Linear_logic wikiPageExternalLink linear-logic.html.
- Linear_logic wikiPageExternalLink linear.pdf.
- Linear_logic wikiPageExternalLink logic-linear.
- Linear_logic wikiPageExternalLink BRICS-LS-96-6.html.
- Linear_logic wikiPageExternalLink Proofs+Types.html.
- Linear_logic wikiPageExternalLink lincoln.
- Linear_logic wikiPageExternalLink sigact92.ps.
- Linear_logic wikiPageExternalLink LinLog.
- Linear_logic wikiPageExternalLink Dale.Miller.
- Linear_logic wikiPageExternalLink llp.pdf.
- Linear_logic wikiPageExternalLink index.html.en.
- Linear_logic wikiPageID "579675".
- Linear_logic wikiPageRevisionID "601471789".
- Linear_logic date "September 2013".
- Linear_logic hasPhotoCollection Linear_logic.
- Linear_logic reason "What does the curly 'p' mean here? Moreover, in Girard , p.50, semi-distributivity is mentioned, but the expressions look different from here.".
- Linear_logic subject Category:Linear_logic.
- Linear_logic subject Category:Non-classical_logic.
- Linear_logic subject Category:Substructural_logic.
- Linear_logic comment "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.".
- Linear_logic label "Linear logic".
- Linear_logic label "Logique linéaire".
- Linear_logic label "線形論理".
- Linear_logic label "线性逻辑".
- Linear_logic sameAs Logique_linéaire.
- Linear_logic sameAs 線形論理.
- Linear_logic sameAs m.02s1gd.
- Linear_logic sameAs Q841728.
- Linear_logic sameAs Q841728.
- Linear_logic wasDerivedFrom Linear_logic?oldid=601471789.
- Linear_logic isPrimaryTopicOf Linear_logic.