You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
Equivalents of Mingle and Positive Paradox
Studia Logica: An International Journal for Symbolic Logic
Vol. 77, No. 1 (Jun., 2004), pp. 117-128
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016611
Page Count: 12
Preview not available
Relevant logic is a proper subset of classical logic. It does not include among its theorems any of positive paradox A → (B → A) mingle A → (A → A) linear order (A → B) ν (B → A) unrelated extremes (A Λ Ā) → (B ν B̄) This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle.
Studia Logica: An International Journal for Symbolic Logic © 2004 Springer