Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
From MaRDI portal
Publication:6107288
DOI10.12775/llp.2022.025zbMath1530.03106arXiv2105.15160OpenAlexW3171570572MaRDI QIDQ6107288
Publication date: 3 July 2023
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.15160
Cites Work
- Angellic content
- Computing congruences efficiently
- Theory of logical calculi. Basic theory of consequence operations
- Optimal axiomatizations of finitely valued logics
- Tableaux and restricted quantification for systems related to weak Kleene logic
- Faulty Belnap computers and subsystems of FDE
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC