Non-distributive logics: from semantics to meaning

Abstract

We discuss an ongoing line of research in the relational (non topological) semantics of non-distributive logics. The developments we consider are technically rooted in dual characterization results and insights from unified correspondence theory. However, they also have broader, conceptual ramifications for the intuitive meaning of non-distributive logics, which we explore.

arXiv comment36 pages

References in corpus (10)

• From Frequency to Meaning: Vector Space Models of Semantics
• Toward an Epistemic-Logical Theory of Categorization
• Rough concepts
• Algebraic proof theory for LE-logics
• Constructive Canonicity of Inductive Inequalities
• Canonical extensions and ultraproducts of polarities
• Goldblatt-Thomason for LE-logics
• Morphisms and Duality for Polarities and Lattices with Operators
• The logic of vague categories
• Vector spaces as Kripke frames

Cited by in corpus (4)

• Rough concepts
• Constructive Canonicity of Inductive Inequalities
• Query Answering in Lattice-based Description Logic
• Non-distributive positive logic as a fragment of first-order logic over semilattices