hide
Free keywords:
-
Abstract:
We overview methods of equality reasoning in sequent-based systems. We
consider the history of handling equality in sequent systems, methods
based on rigid E-unification, paramodulation-based methods, the
equality elimination method and equality reasoning in nonclassical
logics.