claim
active
claim:implications-are-nice-clauses-are-not

Implications are nice, clauses are not.

Assertion about the practical advantages of implications over full propositional clauses.

Source paper

extracted_from
Finger Exercises in Formal Concept Analysis
(2006) · Ganter, Bernhard

Neighborhood — ranked by edge-count

Concepts (1)

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

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.