SUBSTITUTION IN RELEVANT LOGICS
DOI10.1017/S1755020319000467zbMATH Open1476.03027OpenAlexW2974360349MaRDI QIDQ5117597FDOQ5117597
Authors: 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
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
- Relative interpretations and substitutional definitions of logical truth and consequence
- Relevant identity
- Paradoxes of logical equivalence and identity
- scientific article; zbMATH DE number 150217
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
- Title not available (Why is that?)
- An introduction to non-classical logic. From if to is
- The Semantics of First Degree Entailment
- Paths to triviality
- Entailment and relevance1
- Skolem functions in non-classical logics
- Depth relevance of some paraconsistent logics
- Title not available (Why is that?)
- Simplified semantics for basic relevant logics
- Whither relevant arithmetic?
- Relevant identity
- Relevant Robinson's arithmetic
- Negation on the Australian plan
- Models for substructural arithmetics
- Linear arithmetic desecsed
- Paraconsistent set theory
- Title not available (Why is that?)
Cited In (12)
- Substitution in simple sentences: validity versus soundness
- Substitutions into propositional tautologies
- Axiomatisation of substitution
- Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic}
- 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
- Replacement in logic
- Marcus and Substitutivity
- Title not available (Why is that?)
- Identity in Mares-Goldblatt models for quantified relevant logic
Uses Software
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)
