Chop Logic Core - v1.6.0
    Preparing search index...

    Module Models

    Core type definitions for the logical system. This module consolidates all types and interfaces used for logical expressions, proof systems, and truth evaluations.

    Basic Types

    PropAtom
    PropSymbol
    PropExpression

    Formula Types

    PropFormula
    PropFormulaVariablesMap

    Proof System Types

    PropProofStep
    HilbertAxiomPayload
    HilbertDerivedPayload
    HilbertBasePayload
    HilbertProofStepInput
    NaturalDerivedPayload
    NaturalBasePayload
    NaturalProofStepInput

    Truth Table Types

    TruthAssignmentsMap
    TruthTableRow
    TruthTable

    Settings

    Member Visibility

    On This Page

    Basic Types
    Formula Types
    Proof System Types
    Truth Table Types