An Epimorphism between Fine and Ferguson's Matrices for Angell's AC
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2021
- DOI:
- 10.48550/arXiv.2105.15160
- arXiv:
- arXiv:2105.15160
- Bibcode:
- 2021arXiv210515160Z
- Keywords:
-
- Mathematics - Logic;
- 03B47 (Primary);
- 03B50 (Primary);
- 03-08 (Secondary);
- 08-08 (Secondary)
- E-Print:
- Logic and Logical Philosophy vol. 32, no. 2 (2023), pp. 161-179