About: Substructural logic

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

Type of logic

Property	Value
dbo:description	type of logic (en)
dbo:wikiPageExternalLink	https://books.google.com/books%3Fid=NQTm_bRupAgC&printsec=frontcover%23v=onepage&q&f=false https://books.google.com/books%3Fid=RkPsCAAAQBAJ&printsec=frontcover%23v=onepage&q&f=false
dbo:wikiPageWikiLink	dbr:Residuated_lattice dbc:Non-classical_logic dbr:Classical_logic dbr:Sequent_calculus dbr:Monotonicity_of_entailment dbr:Turnstile_(symbol) dbr:Sides_of_an_equation dbr:Logic dbr:Logical_conjunction dbr:Linear_logic dbc:Substructural_logic dbr:Intuitionistic_logic dbr:Rewriting dbr:Substructural_type_system dbr:Idempotency_of_entailment dbr:Structural_rule dbr:Commutative dbr:Monotonic dbr:Intuitionistic dbr:Idempotent dbr:Associative dbr:Relevant_logic
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_SEP dbt:No_footnotes dbt:Non-classical_logic dbt:Commonscat-inline dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Substructural_logic
rdfs:label	Substructural logic (en) Logiques sous-structurelles (fr) 部分構造論理 (ja) Lógica subestrutural (pt) 亚结构逻辑 (zh)
owl:sameAs	freebase:Substructural logic wikidata:Substructural logic dbpedia-fr:Substructural logic dbpedia-zh:Substructural logic dbpedia-ja:Substructural logic dbpedia-pt:Substructural logic dbpedia-global:Substructural logic dbr:Substructural logic
prov:wasDerivedFrom	wikipedia-en:Substructural_logic?oldid=1295935540&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Substructural_logic
is dbo:wikiPageRedirects of	dbr:Substructural_Logics dbr:Substructural_logics
is dbo:wikiPageWikiLink of	dbr:Johan_van_Benthem_(logician) dbr:Residuated_lattice dbr:Kappa_calculus dbr:Natural_deduction dbr:Sequent_calculus dbr:Categorial_grammar dbr:Monotonicity_of_entailment dbr:Outline_of_philosophy dbr:Proof_theory dbr:Fuzzy_concept dbr:Deviant_logic dbr:Absorption_law dbr:Index_of_philosophy_articles_(R–Z) dbr:Ivan_Orlov_(philosopher) dbr:Linear_logic dbr:Index_of_logic_articles dbr:Relevance_logic dbr:Sequent dbr:List_of_mathematical_logic_topics dbr:Structural_proof_theory dbr:Substructural_type_system dbr:T-norm_fuzzy_logics dbr:Affine_logic dbr:Bunched_logic dbr:Structural_rule dbr:BL_(logic) dbr:Monoidal_t-norm_logic dbr:Greg_Restall dbr:Outline_of_logic dbr:Jon_Michael_Dunn dbr:Łukasiewicz_logic dbr:Implicit_computational_complexity dbr:Carlo_Dalla_Pozza dbr:List_of_rules_of_inference dbr:Substructural_Logics dbr:Substructural_logics
is foaf:primaryTopic of	wikipedia-en:Substructural_logic