About: Linear logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

System of resource-aware logic

Property	Value
dbo:description	système formel de la logique mathématique (fr) system of resource-aware logic (en)
dbo:wikiPageExternalLink	http://bach.istc.kobe-u.ac.jp/llprover/ http://llwiki.ens-lyon.fr/ http://www.dicosmo.org/CourseNotes/LinLog/ https://web.archive.org/web/20060925141642/http:/www.pps.jussieu.fr/~dicosmo/index.html.en https://web.archive.org/web/20160704202340/http:/www.cs.man.ac.uk/~pt/stable/Proofs+Types.html http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html http://www.lix.polytechnique.fr/Labo/Dale.Miller/ http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/llp.pdf http://www.csl.sri.com/users/lincoln/ http://www.csl.sri.com/~lincoln/papers/sigact92.ps http://www.brics.dk/LS/96/6/BRICS-LS-96-6.pdf http://girard.perso.math.cnrs.fr/linear.pdf http://plato.stanford.edu/entries/logic-linear/
dbo:wikiPageWikiLink	dbr:Admissible_rule dbr:EXPSPACE dbr:Noncommutative_logic dbc:Non-classical_logic dbr:Classical_logic dbr:Involution_(mathematics) dbr:Logical_harmony dbr:Sequent_calculus dbr:Monotonicity_of_entailment dbr:First-order_logic dbr:Turnstile_(symbol) dbr:Tony_Hoare dbr:Cut-elimination_theorem dbr:Logical_consequence dbr:Atomic_formula dbr:Proof_theory dbr:Canonical_form dbr:Quantum_physics dbr:Duality_(mathematics) dbr:Logical_conjunction dbr:Backus–Naur_form dbc:Linear_logic dbr:Normal_modal_logic dbr:Substructural_logic dbr:Denotational_semantics dbc:Logic dbr:Linguistics dbc:Substructural_logic dbr:Intuitionistic_logic dbr:Jean-Yves_Girard dbr:Logical_truth dbr:Theoretical_Computer_Science_(journal) dbr:Identity_element dbr:Logical_connective dbr:Boolean_algebras dbr:Lollipop dbr:PSPACE-complete dbr:Uniqueness_type dbr:Higher-order_logic dbr:Proof_net dbr:Undecidable_problem dbr:Analytic_proof dbr:Substructural_type_system dbr:De_Morgan's_laws dbr:Affine_logic dbr:Logical_disjunction dbr:Chu_space dbr:Completeness_of_atomic_initial_sequents dbr:Ludics dbr:Frame_problem dbr:Idempotency_of_entailment dbr:Structural_rule dbr:Computability_logic dbr:Geometry_of_interaction dbr:Petri_nets dbr:NP-complete dbr:Entailment dbr:Game_semantics dbr:Programming_languages dbr:Linear_logic_programming dbr:Linear_type_system dbr:Horn_clauses dbr:Quantum_information_theory dbr:Constructivism_(mathematics) dbr:C*-algebras dbr:A._S._Troelstra dbr:Exchange_rule dbr:Strict_logic dbr:Gödel–Gentzen_negative_translation dbr:Lambda-calculus dbr:Cartesian_closed_categories dbr:Relevant_logic dbr:Symmetric_monoidal_categories dbr:Logic_of_unity
dbp:date	2016-04-04 (xsd:date) May 2015 (en)
dbp:reason	It is difficult to guess what this might mean without a link (en)
dbp:url	https://web.archive.org/web/20160404181455/http:/bach.istc.kobe-u.ac.jp/llprover/
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Cite_book dbt:! dbt:Cite_web dbt:Main dbt:Reflist dbt:Redirect dbt:Math dbt:= dbt:Anchor dbt:Cite_journal dbt:Expand_section dbt:Sfn dbt:Cite_SEP dbt:See_also dbt:Cite_conference dbt:Commons_category-inline dbt:Clarify dbt:Use_dmy_dates dbt:Cite_tech_report dbt:Citation_needed dbt:Visible_anchor dbt:Em dbt:Non-classical_logic dbt:Tee dbt:Harvtxt dbt:Refn dbt:Webarchive dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Linear_logic dbc:Logic dbc:Substructural_logic
gold:hypernym	dbr:Logic
rdfs:label	Linear logic (en) Lineární logika (cs) Lógica lineal (es) Logica lineare (it) Logique linéaire (fr) 線形論理 (ja) 선형 논리 (ko) Lógica linear (pt) Линейная логика (ru) 线性逻辑 (zh)
rdfs:seeAlso	dbr:Quantale
owl:sameAs	freebase:Linear logic wikidata:Linear logic dbpedia-it:Linear logic dbpedia-fr:Linear logic dbpedia-zh:Linear logic dbpedia-ja:Linear logic dbpedia-pt:Linear logic dbpedia-es:Linear logic dbpedia-ru:Linear logic dbpedia-ko:Linear logic dbpedia-cs:Linear logic dbpedia-global:Linear logic dbr:Linear logic
prov:wasDerivedFrom	wikipedia-en:Linear_logic?oldid=1291301995&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Linear_logic
is dbo:knownFor of	dbr:Jean-Yves_Girard
is dbo:wikiPageRedirects of	dbr:Linear_L dbr:Linear_Logic dbr:Intuitionistic_linear_logic dbr:⅋ dbr:⊸
is dbo:wikiPageWikiLink of	dbr:Currying dbr:List_of_functional_programming_topics dbr:Noncommutative_logic dbr:Residuated_lattice dbr:Non-classical_logic dbr:Logic_programming dbr:Natural_deduction dbr:Categorial_grammar dbr:Monoidal_category dbr:Monotonicity_of_entailment dbr:Outline_of_philosophy dbr:Question_mark dbr:Exclamation_mark dbr:Prolog dbr:Concatenative_programming_language dbr:Quantum_programming dbr:Decidability_(logic) dbr:Proof_theory dbr:Type_system dbr:Deviant_logic dbr:Dialectica_interpretation dbr:Dialectica_space dbr:Timeline_of_category_theory_and_related_mathematics dbr:Lollipop_(disambiguation) dbr:Question_mark_(disambiguation) dbr:Cirquent_calculus dbr:Absorption_law dbr:Dialogical_logic dbr:Quantum_logic dbr:Index_of_philosophy_articles_(I–Q) dbr:Interaction_nets dbr:Ivan_Orlov_(philosopher) dbr:Anne_Sjerp_Troelstra dbr:Substructural_logic dbr:Denotational_semantics dbr:Calculus_of_structures dbr:Index_of_logic_articles dbr:Proof_mining dbr:List_of_XML_and_HTML_character_entity_references dbr:Intuitionistic_logic dbr:Braided_monoidal_category dbr:Jean-Yves_Girard dbr:Closed_monoidal_category dbr:Coherent_space dbr:Paraconsistent_logic dbr:Free_choice_inference dbr:Uniqueness_type dbr:Actor_model dbr:Intellect dbr:Glue_semantics dbr:Proof_net dbr:List_of_French_inventions_and_discoveries dbr:Andreas_Blass dbr:Autonomous_category dbr:Giorgi_Japaridze dbr:List_of_mathematical_logic_topics dbr:String_diagram dbr:Substructural_type_system dbr:Affine_logic dbr:Curry–Howard_correspondence dbr:Why_Not dbr:Bunched_logic dbr:Chu_space dbr:Henry_Baker_(computer_scientist) dbr:Ludics dbr:No-cloning_theorem dbr:Frame_problem dbr:*-autonomous_category dbr:Idempotency_of_entailment dbr:Computability_logic dbr:Geometry_of_interaction dbr:No-deleting_theorem dbr:Patrick_Lincoln dbr:Outline_of_logic dbr:Łukasiewicz_logic dbr:Algebra_of_sets dbr:Valeria_de_Paiva dbr:Focused_proof dbr:François_Fages dbr:List_of_rules_of_inference dbr:Game_semantics dbr:Logics_for_computability dbr:Linear_L dbr:Linear_Logic dbr:List_of_important_publications_in_theoretical_computer_science dbr:Intuitionistic_linear_logic dbr:⅋ dbr:⊸
is dbp:knownFor of	dbr:Jean-Yves_Girard
is rdfs:seeAlso of	dbr:Substructural_type_system
is foaf:primaryTopic of	wikipedia-en:Linear_logic