Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Journal of Automated Reasoning
Hi-index | 0.00 |
After computer experiments by using the ANDP prover we showed that the five axioms for reflexivity, symmetry, transitivity and substitutivity of equality can be replaced by only two of the five axioms.