concept
active
concept:implication

implication

Implication A → B holds in a formal context iff every object that has all attributes in A also has all in B.

Neighborhood — ranked by edge-count

Claims (1)

claim

Concepts (4)

concept
  • Stem Base
    associated_with
    Canonical minimal generating set for the implicational theory of a formal context; sound, complete, and of minimal cardinality.
  • Formal Context
    associated_with
    Basic data type in FCA consisting of a triple (G, M, I) representing objects, attributes, and incidence relations.
  • Armstrong rules
    associated_with
    Simple inference rules for implications in formal contexts.

Artifacts (1)

artifact

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

  • extentconcept0.793
    The set of objects A of a formal concept (A,B).
  • ambiguityconcept0.787
    Multiple possible meanings for words like Alice, disambiguated by context; harder when grammar and meaning intertwine
  • Expected Ambiguityconcept0.776
    The expected conditional entropy of outcomes given hidden states; lowering ambiguity favors states that solicit unambiguous observations.
  • obligationsconcept0.770
    Legal or social duties incurred through speech acts like promises, important for commercial programs.
  • Embodied Inferenceconcept0.769
    Process by which organism's material states and internal dynamics realize variational inference through action
  • Graded notion of causal abstraction measured by IIA; when IIA is alpha < 100%, the model is alpha-on-average approximately abstract.
  • Methodological principle applied to favor identity over correlation between signed evaluation and felt valence
  • Contrastconcept0.758
    The property that living structures contain intense contrast—far more than one imagines helpful; true opposites which annihilate each other when superimposed, creating differentiation that gives birth to something; contrast unifies rather than separates when used correctly