Curry's paradox, generalized modus ponens axiom and depth relevance
type: Item
instance of: scholarly article
title: Curry's paradox, generalized modus ponens axiom and depth relevance
zbMATH Open document ID: 1342.03021
author: Yanyan Li
published in: Studia Logica
publication date: 2014-06-19T00:00:00Z
review text: Let a logical matrix \(M\) be a structure \((K, T, F, f_\rightarrow, f_\wedge, f_\vee, f_ \neg)\), where \(K\) is a set, \(T\) and \(F\) are non-empty subsets of \(K\) such that \(T \cup K = K\) and \(T \cap K = \emptyset\), \(f_\rightarrow, f_\wedge, f_\vee\) are binary function on \(K\), and \(f_ \neg\) is an unary function on \(K\). Then, \(M\) is said to be a weak relevant matrix (wr-matrix) iff there is \(a_F \in K\), \(K_1 \subseteq K\) and \(K_2 \subseteq K\), such that \(K_1\) and \(K_2\) are disjoint, and the following conditions are fulfilled: \(\forall x \forall y \in K_1(K_2) \, f_\sharp(x,y) \in K_1 (K_2) \text{ and } f_\neg\in K_1(K_2)\) (\(\sharp \in \{\rightarrow, \wedge,\vee\}\)); \(\forall x \in K_1 \forall y \in K_2 f_\rightarrow(x, y) = a_F\); \(\forall x \in K_1 \cup K_2 f_\rightarrow(x, a_F) = a_F\). Then, it can be shown that any logic veryfied by a wr-matrix has the variable-sharing property. A wr-model structure (wr-ms) \({\mathcal M}_M\) is defined as the set \(\{ M_0, M_1, \dots, M_n, \dots, M_\omega\}\), where \(M_0, M_1, \dots, M_n, \dots, M_\omega\) are all identical matrices to some wr-matrix \(M\). It can be shown that every logics veryfied by some wr-ms, satisfies the so-called depth relevance conditions in the sense of Brady. It can also be shown that the so-called ``deep relevant logics'' verified by a wr-ms are not subject to a generalized modus ponens used to derive Curry's paradox.
reviewed by: Yaroslav Shramko
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 6305280
zbMATH Keywords: Curry's paradox
zbMATH Keywords: depth relevance
zbMATH Keywords: generalized modus ponens axiom
zbMATH Keywords: generalized contraction rule
zbMATH Keywords: weak relevant model structures
zbMATH Keywords: relevant logic
Wikidata QID: Q114017388
describes a project that uses: MaTest
MaRDI profile type: Publication
full work available at URL: s11225-013-9471-x
OpenAlex ID: W1968516098
cites work: Q4085699
cites work: Relevant entailment—semantics and formal systems
cites work: Entailment and relevance1
cites work: Q3962967
cites work: Depth relevance of some paraconsistent logics
cites work: Hierarchical semantics for relevant logics
cites work: Relevant implication and the case for a weaker logic
cites work: Q4961804
cites work: Q3543573
cites work: The combinatory foundations of mathematical logic
cites work: A general characterization of the variable-sharing property by means of logical matrices
cites work: Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
cites work: Routes to triviality
cites work: Q3701398
DOI: 10.1007/S11225-013-9471-X
description: scientific article; zbMATH DE number 6305280