Non-distributive logics: from semantics to meaning

MaRDI QIDQ5004948zbMATH OpenFDO

Authors Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Nachoem Wijnberg

Publication date 3 August 2021

Full work available at URL https://arxiv.org/abs/2002.04257

zbMATH Keywords

categorization theoryformal concept analysisgraph-based semanticsnon-distributive modal logicpolarity-based semanticsrough concepts

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Knowledge representation (68T30)

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.

Recommendations

• Nonmonotonic logics and semantics
• Non normal logics: semantic analysis and proof theory
• Semantic analysis of non-reflexive logics
• Semantical considerations on nonmonotonic logic
• Reconciliation of approaches to the semantics of logics without distribution
• scientific article; zbMATH DE number 47660
• scientific article; zbMATH DE number 6787709
• Semantical investigations into nonmonotonic and probabilistic logics
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• scientific article; zbMATH DE number 218502

Cited in

(22)

• Non-commutative logic for compositional distributional semantics
• Learning with cone-based geometric models and orthologics
• B-frame duality
• Semantics Out of Context
• scientific article; zbMATH DE number 4068840 (Why is no real title available?)
• Reconciliation of approaches to the semantics of logics without distribution
• A constructive semantics for non‐deducibility
• Knowledge graph embeddings with ontologies: reification for representing arbitrary relations
• Rough concepts
• Labelled calculi for lattice-based modal logics
• Labelled calculi for the logics of rough concepts
• Algebraic proof theory for LE-logics
• Non-distributive description logic
• Monotone modal logic beyond distributivity
• Unified inverse correspondence for LE-logics
• Modal reduction principles across relational semantics
• Fuzzy lattice-based description logic
• Query answering in lattice-based description logic
• On the logical and algebraic aspects of reasoning with formal contexts
• Description logic for rough concepts
• Rules of partial orthomodularity
• Obligations and permissions on selfextensional logics

This page was built for publication: Non-distributive logics: from semantics to meaning

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