Supplement to Relevance Logic

The Logic S

Here is a Hilbert-style axiomatisation of the logic S (for “syllogism”).

Our language contains propositional variables, parentheses and one connective: implication.

Axiom Scheme Axiom Name
1. (BC) →((AB) →(AC)) Prefixing
2. (AB) →((BC) →(AC)) Suffixing

Rule Name
AB, BCAC Transitivity
AB ⊢ (BC) → (AC) Rule Suffixing
BC ⊢ (AB) → (AC) Rule Prefixing

The logic T-W is S with the addition of the identity axiom (AA). Martin's theorem is that no instance of the identity axiom is a theorem of S. It is a corollary of Martin's theorem that in T-W if both AB and BA are provable, then A and B are the same formula (see Anderson, Belnap, and Dunn (1992) §66).

Copyright © 2012 by
Edwin Mares <Edwin.Mares@vuw.ac.nz>

Open access to the SEP is made possible by a world-wide funding initiative.
Please Read How You Can Help Keep the Encyclopedia Free