SUBSTITUTION IN RELEVANT LOGICS

DOI10.1017/S1755020319000467MaRDI QIDQ5117597zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 1874095 (Why is no real title available?)
• scientific article; zbMATH DE number 823601 (Why is no real title available?)
• An introduction to non-classical logic. From if to is
• Depth relevance of some paraconsistent logics
• Entailment and relevance¹
• Linear arithmetic desecsed
• Models for substructural arithmetics
• Negation on the Australian plan
• Paraconsistent set theory
• Paths to triviality
• Relevant Robinson's arithmetic
• Relevant identity
• Simplified semantics for basic relevant logics
• Skolem functions in non-classical logics
• The Semantics of First Degree Entailment
• The logic of paradox
• Whither relevant arithmetic?

Cited in

(15)

• Substitution inconsistencies in transparent intensional logic
• Substitution contradiction, its resolution and the Church-Rosser theorem in TIL
• Theory and Applications of Satisfiability Testing
• Substitution in simple sentences: validity versus soundness
• Validity and applicability of Leibniz's law of substitution of identicals
• Marcus and Substitutivity
• Replacement in logic
• Logical forms, substitutions and information types
• Dynamical properties of logical substitutions
• On the multi-dimensional modal logic of substitutions
• Substitutions into propositional tautologies
• Tree trimming: four non-branching rules for Priest's \textit{Introduction to non-classical logic}
• Identity in Mares-Goldblatt models for quantified relevant logic
• Axiomatisation of substitution
• scientific article; zbMATH DE number 910441 (Why is no real title available?)

Describes a project that uses

Uses Software

• MaGIC

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)