A logic systems should consist of a collection of operators (along with arity and including constants) as well as an inference system (a rule-rewrite system). Implement the general type for abstract logic systems, starting with the operators, and redo (classical) propositional logic over the new abstract logic system
A logic systems should consist of a collection of operators (along with arity and including constants) as well as an inference system (a rule-rewrite system). Implement the general type for abstract logic systems, starting with the operators, and redo (classical) propositional logic over the new abstract logic system