Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Linear_logic> ?p ?o }
- 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 Proofs+Types.html.
- Linear_logic wikiPageExternalLink linear-logic.html.
- Linear_logic wikiPageExternalLink linear.pdf.
- Linear_logic wikiPageExternalLink llwiki.ens-lyon.fr.
- Linear_logic wikiPageExternalLink logic-linear.
- Linear_logic wikiPageExternalLink BRICS-LS-96-6.pdf.
- 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 wikiPageLength "27956".
- Linear_logic wikiPageOutDegree "70".
- Linear_logic wikiPageRevisionID "678334897".
- Linear_logic wikiPageWikiLink A._S._Troelstra.
- Linear_logic wikiPageWikiLink Admissible_rule.
- Linear_logic wikiPageWikiLink Affine_logic.
- Linear_logic wikiPageWikiLink Analytic_proof.
- Linear_logic wikiPageWikiLink Anne_Sjerp_Troelstra.
- Linear_logic wikiPageWikiLink Antony_Hoare.
- Linear_logic wikiPageWikiLink Atomic_formula.
- Linear_logic wikiPageWikiLink Backus-Naur_Form.
- Linear_logic wikiPageWikiLink Backus–Naur_Form.
- Linear_logic wikiPageWikiLink Boolean_algebra_(structure).
- Linear_logic wikiPageWikiLink Boolean_algebras.
- Linear_logic wikiPageWikiLink C*-algebra.
- Linear_logic wikiPageWikiLink C*-algebras.
- Linear_logic wikiPageWikiLink Canonical_form.
- Linear_logic wikiPageWikiLink Cartesian_closed_categories.
- Linear_logic wikiPageWikiLink Cartesian_closed_category.
- Linear_logic wikiPageWikiLink Category:Linear_logic.
- Linear_logic wikiPageWikiLink Category:Non-classical_logic.
- Linear_logic wikiPageWikiLink Category:Substructural_logic.
- Linear_logic wikiPageWikiLink Chu_space.
- Linear_logic wikiPageWikiLink Classical_logic.
- Linear_logic wikiPageWikiLink Completeness_of_atomic_initial_sequents.
- Linear_logic wikiPageWikiLink Computability_logic.
- Linear_logic wikiPageWikiLink Constructivism_(mathematics).
- Linear_logic wikiPageWikiLink Cut-elimination_theorem.
- Linear_logic wikiPageWikiLink De_Morgans_laws.
- Linear_logic wikiPageWikiLink Double-negation_translation.
- Linear_logic wikiPageWikiLink Duality_(mathematics).
- Linear_logic wikiPageWikiLink Entailment.
- Linear_logic wikiPageWikiLink Exchange_rule.
- Linear_logic wikiPageWikiLink First-order_logic.
- Linear_logic wikiPageWikiLink Frame_problem.
- Linear_logic wikiPageWikiLink Game_semantics.
- Linear_logic wikiPageWikiLink Geometry_of_interaction.
- Linear_logic wikiPageWikiLink Gödel–Gentzen_negative_translation.
- Linear_logic wikiPageWikiLink Higher-order_logic.
- Linear_logic wikiPageWikiLink Idempotency_of_entailment.
- Linear_logic wikiPageWikiLink Identity_element.
- Linear_logic wikiPageWikiLink Intuitionistic_logic.
- Linear_logic wikiPageWikiLink Involution_(mathematics).
- Linear_logic wikiPageWikiLink Jean-Yves_Girard.
- Linear_logic wikiPageWikiLink Linear_type_system.
- Linear_logic wikiPageWikiLink Linguistics.
- Linear_logic wikiPageWikiLink Logic_of_unity.
- Linear_logic wikiPageWikiLink Logical_connective.
- Linear_logic wikiPageWikiLink Logical_consequence.
- Linear_logic wikiPageWikiLink Logical_harmony.
- Linear_logic wikiPageWikiLink Logical_truth.
- Linear_logic wikiPageWikiLink Lollipop.
- Linear_logic wikiPageWikiLink Ludics.
- Linear_logic wikiPageWikiLink Monotonicity_of_entailment.
- Linear_logic wikiPageWikiLink NP-complete.
- Linear_logic wikiPageWikiLink NP-completeness.
- Linear_logic wikiPageWikiLink Noncommutative_logic.
- Linear_logic wikiPageWikiLink PSPACE-complete.
- Linear_logic wikiPageWikiLink Programming_language.
- Linear_logic wikiPageWikiLink Programming_languages.
- Linear_logic wikiPageWikiLink Proof_net.
- Linear_logic wikiPageWikiLink Proof_theory.
- Linear_logic wikiPageWikiLink Quantum_mechanics.
- Linear_logic wikiPageWikiLink Quantum_physics.
- Linear_logic wikiPageWikiLink Relevance_logic.
- Linear_logic wikiPageWikiLink Relevant_logic.
- Linear_logic wikiPageWikiLink Sequent_calculus.
- Linear_logic wikiPageWikiLink Strict_logic.
- Linear_logic wikiPageWikiLink Structural_rule.
- Linear_logic wikiPageWikiLink Substructural_logic.
- Linear_logic wikiPageWikiLink Substructural_type_system.
- Linear_logic wikiPageWikiLink Symmetric_monoidal_categories.
- Linear_logic wikiPageWikiLink Symmetric_monoidal_category.
- Linear_logic wikiPageWikiLink Tony_Hoare.
- Linear_logic wikiPageWikiLink Turnstile_(symbol).
- Linear_logic wikiPageWikiLink Undecidable_problem.
- Linear_logic wikiPageWikiLink Uniqueness_type.
- Linear_logic wikiPageWikiLinkText "Linear logic".
- Linear_logic wikiPageWikiLinkText "linear logic".
- Linear_logic wikiPageWikiLinkText "linear".
- Linear_logic date "May 2015".
- Linear_logic hasPhotoCollection Linear_logic.
- Linear_logic reason "It is difficult to guess what this might mean without a link".
- Linear_logic wikiPageUsesTemplate Template:Dubious.
- Linear_logic wikiPageUsesTemplate Template:Empty_section.
- Linear_logic wikiPageUsesTemplate Template:Main.