Dontopedia

Refinement Logic

From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)

Refinement Logic has 5 facts recorded in Dontopedia across 2 references.

5 facts·5 predicates·2 sources

Mostly:applied to(1), adjusts(1), selective application(1)

Maturity scale raw canonical shape-checked rule-derived certified

Inbound mentions (7)

Other subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. "X motherOf this subject" — and answer questions the forward facts can't. Grouped by predicate.

adjustedByAdjusted by(1)

appliesApplies(1)

canBeCustomizedCan Be Customized(1)

hasTopicHas Topic(1)

haveAppliedHave Applied(1)

mentionsMentions(1)

usedForUsed for(1)

Other facts (5)

The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.

5 facts
PredicateValueRef
Applied toSelected Indices[1]
AdjustsProjections[1]
Selective ApplicationSelected Indices Only[1]
Rdf:typeConcept[2]
Used forProjections[2]

Timeline

Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.

appliedTobeam/430d05fe-c8b4-444a-8ece-35a1f576fb26
ex:selected-indices
adjustsbeam/430d05fe-c8b4-444a-8ece-35a1f576fb26
ex:projections
selectiveApplicationbeam/430d05fe-c8b4-444a-8ece-35a1f576fb26
ex:selected-indices-only
typebeam/fa73deca-3eb7-42db-a3b3-d779510fbe30
ex:Concept
usedForbeam/fa73deca-3eb7-42db-a3b3-d779510fbe30
ex:projections

References (2)

2 references
  1. ctx:claims/beam/430d05fe-c8b4-444a-8ece-35a1f576fb26
    • full textbeam-chunk
      text/plain1 KBdoc:beam/430d05fe-c8b4-444a-8ece-35a1f576fb26
      Show excerpt
      3. **Efficiency**: - The code uses a loop to iterate through the projections and applies the refinement logic only to the selected indices. ### Example Output The output will display the refined projections, with some projections adjus
  2. ctx:claims/beam/fa73deca-3eb7-42db-a3b3-d779510fbe30

See also

Keep researching

Missing something or suspicious of what's here? Kick off a research session — a Claude agent will investigate, cite its sources, and file new facts into a dedicated context you can review before accepting into the shared view.