chop-logic-core/lib/propositional/natural-calculus/generators/generate-natural-proof-steps.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

import type { NaturalProofStepInput, PropProofStep } from "../../../models";
/**
 * Generates a PropProofStep object for use in Natural-style logic derivations.
 * Supports Assumption, Derivation, Premise, Reiteration and Shortcut step types. Applies appropriate
 * rule-based transformations and constructs the string and symbolic expression views.
 * @param input - An object with necessary data for the new proof step.
 * @returns An array of new proof steps based on the input.
 * @category Natural Calculus
 */
export declare function generateNaturalProofSteps<T>(input: NaturalProofStepInput<T>): PropProofStep[];