Edwin D. Mares, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Fall  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Efficient Detection of Vacuity in Temporal Model Checking - Beer, Ben-David, Eisner.. (2001) (5 citations) (Correct)
....have also dealt with the problem of trivial validity. Relevance logic (also known as relevant logic) is a non standard logic designed to prevent the paradoxes of material and strict implication. These occur when an antecedent is irrelevant to the consequent, as in the formula p (q p) [AB75, Mar98]. While relevance logic deals with the problem by defining a new logic, our approach is different. We formalize the notion of vacuity and provide a method to detect it while leaving the logic itself unchanged. In this paper, we use the term interesting witness to mean a computation path showing ....
Edwin D. Mares, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Fall
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC