A vector logic for intensional formal semantics

arXiv:2602.02940 · math.LO, cs.CL, cs.FL, cs.LO · Submitted 2026-02-03 · Read on arXiv

math.LO, cs.CL, cs.FL, cs.LO

Submitted: 2026-02-03

Updated: 2026-09-18

Comments: 21 pages; 75 sources

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Adjacency Matrix — 11× in this paper · explained in 1 episode
• Embeddings — 9× in this paper · explained in 2 episodes
• Generalization — 7× in this paper · explained in 13 episodes
• Hilbert Space — 7× in this paper · explained in 2 episodes
• Grounding — 3× in this paper · explained in 3 episodes
• Axioms — 2× in this paper · explained in 2 episodes
• Compositional Generalization — 2× in this paper · explained in 4 episodes
• Abstraction — 1× in this paper · explained in 1 episode
• Adam — 1× in this paper · explained in 2 episodes
• Cosine Similarity — 1× in this paper · explained in 3 episodes
• Diffusion Processes — 1× in this paper · explained in 2 episodes
• Semantic Similarity — 1× in this paper · explained in 2 episodes
• Temporal Reasoning — 1× in this paper · explained in 2 episodes
• Vector Representations — 1× in this paper · explained in 2 episodes

Related papers

• Proof verification by polynomial Fingerprinting