Linear Combinatory Logic

A resource-sensitive combinatory algebra with modalities for copying; provides a fine-grained model of computation.

Neighborhood — ranked by edge-count

concept

Geometry of Interaction
implements
Dynamic model connecting logic to geometry through explicit treatment of information flow and interaction; demonstrates emergent logical complexity from simple copy-cat processes.

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.

linearityconcept0.786
The sequential, continuous order of text, often challenged by diagrammatic branching.
Linear Decodingmethod0.780
Correlative technique measuring the type of information encoded in distributed representations via linear predictability.
Linear representationconcept0.765
The idea that features are encoded as directions in activation space.
Linear Representation of Concepts in LLMsconcept0.752
The finding that interpretable concepts including character traits are encoded as linear directions in transformer residual streams
linear directionconcept0.747
A straight vector in activation space, traditionally used for concept manipulation; claimed to be insufficient when true concept geometry is curved.
Linear Discriminant Analysismethod0.746
IID mass-mean probing coincides with LDA when covariance is known; used to derive the corrected probe formula
Convergent validity logicconcept0.746
Framework borrowed from human metacognition research: when probe and self-report agree, confidence in both increases as they partially track the same underlying state
Concurrent Logic Programmingframework0.738
A parallel programming approach using guarded clauses and shared logical variables, exemplified by Parlog and Concurrent Prolog.