@article{Zach_2022, title={An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC}, volume={32}, url={https://apcz.umk.pl/LLP/article/view/36697}, DOI={10.12775/LLP.2022.025}, abstractNote={<p>Angell’s logic of analytic containment AC has been shown to be characterized by a 9-valued matrix NC by Ferguson, and by a 16-valued matrix by Fine. It is shown that the former is the image of a surjective homomorphism from the latter, i.e., an epimorphic image. Some candidate 7-valued matrices are ruled out as characteristic of AC. Whether matrices with fewer than 9 values exist remains an open question. The results were obtained with the help of the MUltlog system for investigating finite-valued logics; the results serve as an example of the usefulness of techniques from computational algebra in logic. A tableau proof system for NC is also provided.</p>
<p>.</p>}, number={2}, journal={Logic and Logical Philosophy}, author={Zach, Richard}, year={2022}, month={Jul.}, pages={161–179} }