SACM24 — Advanced Arguments

SACM does not support argument types other than inductive. Many engineering and other disciplines make use of other types of arguments including: Strengths (of all kinds); InferenceTypes from deductive as well as inductive logic (including notation changes); Inferences from other potential logic type (e.g. Modal); Possible Truth values for deductive arguments; and Undecidability for truth arguments. Supporting these other types of arguments would expand the utility of SACM.