Christopher D. Pang

PAL - Primitive Axiom Layers

Primitive Axiom Layers (PAL) is a mechanical framework for keeping reasoning accountable wherever a distinction is supplied, interpreted, carried, compared, coupled, checked, or provisionally closed. It records what was admitted, which witness licensed it, what trace survives, wh...