Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International