A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts

DOI10.1016/j.ijar.2022.11.015OpenAlexW4310137358MaRDI QIDQ2677854

Prosenjit Howlader, Mohua Banerjee

Publication date: 6 January 2023

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

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

zbMATH Keywords

conceptual knowledgeformal concept analysisrough set theorynon-distributive modal logicdouble Boolean algebra

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized Kripke frames
• Density elimination
• Concept lattices and conceptual knowledge systems
• Substructural logics: a primer
• Deciding the word problem in pure double Boolean algebras
• Object oriented protoconcepts and logics for double and pure double Boolean algebras
• Hypersequent and display calculi -- a unified perspective
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
• Algorithmic correspondence and canonicity for non-distributive logics
• Proof theory for fuzzy logics
• Categories: How I Learned to Stop Worrying and Love Two Sorts
• Algebraic Semantics for Hybrid Logics
• A Solution of the Word Problem for Free Double Boolean Algebras
• Propositional Logics from Rough Set Theory
• A constructive analysis of RM
• Rough sets
• Game-theoretic semantics for non-distributive logics
• Embedding the hypersequent calculus in the display calculus
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• Prime ideal theorem for double Boolean algebras
• Rough Belief Change

This page was built for publication: A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts