Equality reasoning in sequent-based calculi

Degtyarev, Anatoli; Voronkov, Andrei

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

報告書

Equality reasoning in sequent-based calculi

MPS-Authors

Degtyarev, Anatoli
Programming Logics, MPI for Informatics, Max Planck Society;

/persons/resource/persons45678

Voronkov, Andrei
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

There are no locators available

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

フルテキスト (公開)

MPI-I-98-2-011.pdf
(全文テキスト（全般）), 711KB

付随資料 (公開)

There is no public supplementary material available

引用

Degtyarev, A., & Voronkov, A.(1998). Equality reasoning in sequent-based calculi (MPI-I-1998-2-011). Saarbrücken: Max-Planck-Institut für Informatik.

引用: https://hdl.handle.net/11858/00-001M-0000-0014-7A79-8

要旨

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.