import type { PropFormula } from "../../../models";
/**
 * Constructs a formula based on the Implication Reversal axiom schema:
 * ((~A => ~B) => (B => A))
 *
 * @param formulas - An array of propositional formulas.
 * @returns A new propositional formula representing the implication reversal.
 */
export declare function implicationReversalSchema(formulas: PropFormula[]): PropFormula;