2000 character limit reached
A simplified version of the Sequent Calculus G3[mic]^=
Published 26 Oct 2018 in math.LO | (1810.11355v1)
Abstract: We show that the Replacement Rule in the sequent calculus G3[mic]}=, for first order languages with function symbols and equality, can be replaced by the simpler rule in which the transformed formula is not repeated in the premiss.
Paper Prompts
Sign up for free to create and run prompts on this paper.