Description

• Title:
  An Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
• Creator:
  Zach, Richard
• Description:
  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. .
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2022 Richard Zach;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2022.07.27
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 32 No. 2 (2023): June; 161-179;
  Logic and Logical Philosophy; Tom 32 Nr 2 (2023): Czerwiec; 161-179;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/36697/32819
• Subject:
  analytic containment;
  many-valued logic;
  matrix congruence;
  tableau calculus;
  computational algebra
• Identifier: https://apcz.umk.pl/LLP/article/view/36697
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text