/**
 * Core type definitions for the logical system.
 * This module consolidates all types and interfaces used for logical expressions,
 * proof systems, and truth evaluations.
 *
 * @packageDocumentation
 * @module Models
 */
export * from "./basic";
export * from "./formula";
export * from "./proof";
export * from "./truth-table";