You are not currently logged in.
Access JSTOR 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
You can always find the topics here!Topics: Relevance logic, Paradoxes, Logic, Antitheses, Structural rules mingle, Rules of inference, Modus ponens, Semantics, Double negation, Commutativity
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
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