sl-justification-semantics
IN premise
An SL justification is valid iff ALL antecedents are IN AND ALL outlist nodes are OUT; a node is IN iff ANY of its justifications is valid (conjunction within a justification, disjunction across justifications).
Summary
An SL justification acts like a logical gate: every supporting reason must be accepted and every listed exception must be absent for the justification to hold. A node stays accepted as long as at least one of its justifications passes this test, so it only goes out when every possible reason for it fails.
Dependents
These beliefs depend on this one:
- truth-is-disjunctive-over-conjunctive-rules — A node's truth is a disjunction over justifications (any valid justification makes it IN), where each justification is a conjunction (all antecedents IN and all outlist OUT), and any-mode explicitly reifies OR semantics as per-premise justifications.
Details
| Source | entries/2026/04/23/reasons_lib-network.md |