|
gptkbp:instanceOf
|
gptkb:logic
|
|
gptkbp:alsoKnownAs
|
Relevance Logic
|
|
gptkbp:application
|
gptkb:artificial_intelligence
Computer Science
Philosophy of Language
Proof Theory
|
|
gptkbp:contrastsWith
|
gptkb:Classical_Logic
Material Implication
|
|
gptkbp:developedBy
|
20th century
|
|
gptkbp:feature
|
Non-classical logic
Modifies rules of inference
Rejects principle of explosion
Requires premises to be relevant to conclusion
|
|
gptkbp:field
|
gptkb:Mathematics
gptkb:philosophy
Computer Science
|
|
gptkbp:hasConcept
|
Implication requires relevance between antecedent and consequent
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Relevant Logic
|
|
gptkbp:influenced
|
Substructural Logics
|
|
gptkbp:influencedBy
|
Paraconsistent Logic
|
|
gptkbp:notableFigure
|
gptkb:Alan_Ross_Anderson
gptkb:J._Michael_Dunn
gptkb:Nuel_Belnap
Alasdair Urquhart
|
|
gptkbp:publishedIn
|
gptkb:Journal_of_Philosophical_Logic
gptkb:Notre_Dame_Journal_of_Formal_Logic
|
|
gptkbp:relatedTo
|
Linear Logic
Paraconsistent Logic
Substructural Logic
|
|
gptkbp:system
|
E
R
T
R-mingle
|
|
gptkbp:bfsParent
|
gptkb:Richard_Routley
gptkb:Non-classical_Logic
|
|
gptkbp:bfsLayer
|
5
|