---
tag: W3CPQAFQJ3
kind: concept
name: Abelian logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section A
    note: adopted
    mention: wikipedia://en/76765067#AE1L
    sections: [Summary]
inventory: [DS26MBK56Q]
---

## Summary

A type of relevance logic that rejects contraction and accepts that ((A → B) → B) → A.