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.