Description
Relevance logics are a misunderstood lot. Despite being the subject of intense study for nearly a century, they remain maligned as too complicated, too abstruse, or too silly to be worth learning much about. This Element aims to dispel these misunderstandings. By focusing on the weak relevant logic B, the discussion provides an entry point into a rich and diverse family of logics. Also, it contains the first-ever textbook treatment of quantification in relevance logics, as well as an overview of the cutting edge on variable sharing results and a guide to further topics in the field.
Table of Contents
1. Introduction; 2. The philosophical picture; 3. Propositional models; 4. Axiomatizing the propositional logic; 5. Variable sharing; 6. First-order models; 7. Axiomatizing the first-order logic; 8. A Very biased and very partial survey of some other topics in the area; References.
