cp-equals-sl
IN premise
CP (conditional-proof) justifications are evaluated with the exact same logic as SL justifications, despite being a distinct type in Doyle's TMS — either an intentional simplification or incomplete implementation
Summary
The system treats conditional-proof justifications identically to support-list justifications when determining whether a belief is in or out, even though Doyle's original TMS design distinguishes them as separate reasoning mechanisms. This means the implementation may be missing nuanced behavior that conditional proofs are supposed to provide, or the developer deliberately chose to collapse the two for simplicity.
Details
| Source | entries/2026/04/23/reasons_lib-network-_justification_valid.md |