Refinement

Navigation page for Blueprint/D5/S3/ConceptDynamics/Refinement/ at upstream snapshot 55a96922002fdbf5644c47264702e325d0b475c9.

Contents

• Concept Classes and Kernel Relations
• Hume Inductive Core
• Inductive Sufficiency
• Least Common Readout Refinement
• Minimal Sufficiency for Multiple Targets
• Refinement Reflexivity
• Refinement Transitivity
• Relative Maturity as a Fixed-Point Criterion
• Resource-Asymmetric Concept Equivalence
• Resource Refinement Composition
• Semantic Sufficiency Beyond Finite Resources
• Separating Joins Eliminate Erroneous Merges
• Finite Strict Refinement Bound