SUBSTITUTION IN RELEVANT LOGICS

DOI10.1017/S1755020319000467zbMATH Open1476.03027OpenAlexW2974360349MaRDI QIDQ5117597FDOQ5117597

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

substitutionidentityLeibniz's lawpossible world semanticsrelevant logicstableaux system

Mathematics Subject Classification ID

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

Cites Work

• The logic of paradox
• The Semantics of First Degree Entailment
• Paths to triviality
• Entailment and relevance¹
• Depth relevance of some paraconsistent logics
• Simplified semantics for basic relevant logics
• Whither relevant arithmetic?
• Relevant identity
• Relevant Robinson's arithmetic
• Negation on the Australian plan
• Linear arithmetic desecsed
• Paraconsistent Set Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• Substitutions into propositional tautologies
• Axiomatisation of substitution
• Logical forms, substitutions and information types
• Theory and Applications of Satisfiability Testing
• On the multi-dimensional modal logic of substitutions
• Dynamical properties of logical substitutions
• Marcus and Substitutivity
• Title not available (Why is that?)
• Identity in Mares-Goldblatt models for quantified relevant logic

Uses Software

• MaGIC

   Recommendations

• (Meta)inferential levels of entailment beyond the Tarskian paradigm 👍 👎
• Formal notes on the substitutional analysis of logical consequence 👍 👎
• Axiomatisation of substitution 👍 👎
• Editorial introduction: substructural logics and metainferences 👍 👎
• Theories of the classical propositional logic and substitutions 👍 👎
• Relevant implication and the weak deduction theorem 👍 👎
• Title not available (Why is that?) 👍 👎
• Relevant identity 👍 👎
• Paradoxes of logical equivalence and identity 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: SUBSTITUTION IN RELEVANT LOGICS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117597)