Definition of "invertibility" []

• The condition of being invertible. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "The classical calculus has the property, mentioned above, of height-preserving invertibility of its logical rules."
• "Ketonen's proof of invertibility of the logical rules of his sequent calculus used the structural rule of cut."
• "By invertibility, the question of derivability is replaced by one or two equivalent questions of derivability on simpler sequents."