About:
Substructural logic
An Entity in Data Space:
dbpedia.org
Property
Value
rdf:
type
skos
:Concept
rdfs:
label
Substructural logic
skos:
broader
dbpedia
:Category:Non-classical_logic
dbpedia
:Category:Proof_theory
dbpedia
:Category:Systems_of_formal_logic
skos:
prefLabel
Substructural logic
is
skos:
subject
of
dbpedia
:Bunched_logic
dbpedia
:Affine_logic
dbpedia
:Relevance_logic
dbpedia
:Linear_logic
dbpedia
:Noncommutative_logic
dbpedia
:Substructural_logic
dbpedia
:Strict_logic