Rivals to Belnap–Dunn Logic on Interlaced Trilattices
- Resource Type
- Original Paper
- Authors
- Ferguson, Thomas M.
- Source
- Studia Logica: An International Journal for Symbolic Logic. :1-26
- Subject
- Cut-down operations
Bilattices
Trilattices
Multilattices
First degree entailment
Analytic containment
- Language
- English
- ISSN
- 0039-3215
1572-8730
The work of Arnon Avron and Ofer Arieli has shown a deep relationship between the theory of bilattices and the Belnap-Dunn logic AC—emerge just as elegantly and are as intimately connected to the theories of bilattices and trilattices as the Belnap-Dunn logic.