- Full text PDF available (3)
- This year (0)
- Last 5 years (3)
- Last 10 years (5)
Journals and Conferences
The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.
Here is a familiar history: modal logics (see ) were around for some time before a semantic framework was found for them (by Kripke and others).1 This framework did at least two Very Good Things for modal logics: 1) it connected the powerful mathematical tools of model theory to these logics, allowing a variety of technical results to be proven, and 2)… (More)
which corresponds in LR, to the axiom (W) of R, would, in an attempted decision procedure based on LR, , produce unbounded multiplicities of the above structures a. It then seemed likely that the system R without the axiom (W), called now RW, would be decidable. Giambrone, in , has shown, by using Dunn’s Gentzenization LR, without (WI t) (thus yielding… (More)