SUBSTITUTION IN RELEVANT LOGICS

DOI10.1017/S1755020319000467MaRDI QIDQ5117597zbMATH OpenOpenAlexFDO

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

identityLeibniz's lawpossible world semanticsrelevant logicssubstitutiontableaux 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 models (Boolean-valued, sheaf, etc.) (03C90) Nonclassical and second-order set theories (03E70)

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

• An introduction to non-classical logic. From if to is
• Depth relevance of some paraconsistent logics
• Entailment and relevance¹
• 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?)
• Linear arithmetic desecsed
• Models for substructural arithmetics
• Negation on the Australian plan
• Paraconsistent set theory
• Paths to triviality
• Relevant identity
• Relevant Robinson's arithmetic
• Simplified semantics for basic relevant logics
• Skolem functions in non-classical logics
• The logic of paradox
• The Semantics of First Degree Entailment
• Whither relevant arithmetic?

Cited in

(16)

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

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)