finding

active

finding:stem-base-is-sound-complete-and-of-minimal-cardinality-for-implicational-theory-of-a-formal-context

Stem base is sound, complete, and of minimal cardinality for implicational theory of a formal context.

Source paper

extracted_from

Finger Exercises in Formal Concept Analysis

(2006) · Ganter, Bernhard

Neighborhood — ranked by edge-count

Communities (2)

community

Relational self, care & aliveness
members_of
Self as dynamic functional center defined by care, coherence, and substrate-neutral cognition
Multi-scale coherence as substrate-neutral aliveness
members_of
Framework treating aliveness and cognition as emergent from locally symmetric sub-configurations across scales, measured via coherence metrics rather than physical substrate.

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.

The stem base is sound, complete, and of minimal cardinality.claim0.923
Claim about the properties of the stem base.
Its stem base consists of 88 implications.finding0.802
Number of implications in the full stem base of the trees context.
Stem Baseconcept0.796
Canonical minimal generating set for the implicational theory of a formal context; sound, complete, and of minimal cardinality.
The wholeness and field of centers are not merely cognitive artifacts but are linked to the functional behavior of the natural world and are at the foundation of physics and biology.claim0.773
Counters the skeptical cognitive interpretation by asserting the objective reality of centers in nature.
The reason why the driving test stem base is so complicated is that the stem base algorithm does not know that pass and fail are negations of each other.claim0.755
Explanation of the lengthy stem base for the driving test example, motivating background knowledge.
The simplest thing which can be created, in real terms, is that thing which goes furthest to resolve, complete, hence to elaborate and underpin the structure of the world, its wholeness, which exists at that place.claim0.748
Definition of real simplicity tied to resolving the wholeness.
Meaning of a whole (cf. sentence) should only depend on meanings of its parts (cf. words) and how they are fitted together (cf. grammar).concept0.745
Canonical statement of Frege compositionality principle in formal linguistics; foundational to paper's analysis.
For a fixed amount of non-implicational background knowledge, implication inference remains tractable.claim0.744
Statement about the complexity of implication inference with scaling-induced background knowledge.