any-mode-creates-per-premise-justifications

IN premise

When `any_mode=True` and multiple antecedents are given, each antecedent gets its own SL justification (OR semantics: node is IN if *any* antecedent is IN), rather than the default single multi-antecedent justification (AND semantics).

Summary

Each antecedent produces a separate justification when any-mode is enabled, so the node stays supported as long as at least one of its reasons holds. This contrasts with the default behavior where all antecedents must be valid simultaneously, making any-mode nodes more resilient to individual retractions.

Dependents

These beliefs depend on this one:

any-mode-preserves-full-outlist-semantics — When any_mode expands a single multi-antecedent justification into per-premise justifications (OR semantics), each resulting justification preserves the original outlist entries — ensuring non-monotonic defeat works correctly under disjunctive expansion with no semantic loss.
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-api.md