A vector logic for extensional formal semantics

DOI10.1007/S10849-025-09443-XMaRDI QIDQ6879722zbMATH OpenFDO

Authors Daniel Quigley

Publication date 29 December 2025

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

formal semanticssemantic spacemathematical linguisticsdistributional semanticsvector logicextensional model

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 5838699 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 3310083 (Why is no real title available?)
• A formulation of the simple theory of types.
• A set of postulates for the foundation of logic.
• An algebraic generalization of Kripke structures
• Analysis of Boolean Functions
• Context Update for Lambdas and Vectors
• Correspondence between Kripke frames and projective geometries
• Correspondence theory on vector spaces
• Deductive systems and categories
• Dynamic epistemic logics of diffusion and prediction in social networks
• Handbook of Spatial Logics
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• Learning topic models -- going beyond SVD
• Logic as a Vector System
• Logical dynamics of belief change in the community
• Mathematical methods in linguistics
• Model theory and diophantine geometry
• Model theory.
• Pattern recognition and machine learning.
• Semantics for relevant logics
• Tensor product variable binding and the representation of symbolic structures in connectionist systems
• The Mathematics of Sentence Structure
• The Operators of Vector Logic
• The geometry of meaning. Semantics based on conceptual spaces
• The inconsistency of certain formal logics.
• The mechanism of additive composition
• Universal grammar
• Untersuchungen über das logische Schließen. I.
• Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates

This page was built for publication: A vector logic for extensional formal semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6879722)