Tautology Elimination, Cut Elimination, and S5
Sign Up to like & getrecommendations! Published in 2017 at "Logic and Logical Philosophy"
DOI: 10.12775/llp.2017.005
Abstract: Tautology elimination rule was successfully applied in automated deduction and recently considered in the framework of sequent calculi where it is provably equivalent to cut rule. In this paper we focus on the advantages of… read more here.
Keywords: elimination; tautology elimination; elimination cut; admissibility ... See more keywords