Proving equivalence of different axiomatizations of free groups

• 1 September 1988
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 4  (3)
• https://doi.org/10.1007/bf00244946

Abstract

Keywords

• PROVING EQUIVALENCE
• DIFFERENT AXIOMATIZATIONS
• AXIOMATIZATIONS.
• EQUIVALENCE PROBLEM
• FREE GROUP
• FREE GROUPS
• CONNECTED GRAPH
• NATURAL DEDUCTION
• THEOREM PROVER