SUBSTITUTION IN RELEVANT LOGICS

DOI10.1017/S1755020319000467zbMath1476.03027OpenAlexW2974360349MaRDI QIDQ5117597

Tore Fjetland Øgaard

Publication date: 26 August 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000467

zbMATH Keywords

tableaux systemsubstitutionidentityLeibniz's lawpossible world semanticsrelevant logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Paraconsistent logics (03B53)

Related Items

Identity in Mares-Goldblatt models for quantified relevant logic

Uses Software

• MaGIC

Cites Work

• Paths to triviality
• Depth relevance of some paraconsistent logics
• Relevant Robinson's arithmetic
• Simplified semantics for basic relevant logics
• The logic of paradox
• Relevant identity
• Negation on the Australian plan
• Paraconsistent Set Theory
• Entailment and relevance¹
• Whither relevant arithmetic?
• The Semantics of First Degree Entailment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item