e/Fitch-style calculus

Information
has gloss	eng: Fitch-style calculus is a method for constructing formal proofs used in first-order logic. It was invented by American logician Frederic Brenton Fitch. Fitch-style proofs involve the atomic sentences of first order logic, which are arranged in premises, lemmas, and subproofs.
lexicalization	eng: Fitch-style calculus
instance of	c/Logical calculi