Labelled calculi for the logics of rough concepts

DOI10.1007/978-3-031-26689-8_13MaRDI QIDQ6132579FDOQ6132579

Authors: Ineke van der Berg, Andrea de Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano 

Publication date: 17 August 2023

Published in: Logic and Its Applications (Search for Journal in Brave)

Recommendations

• Logics for rough concept analysis
• Labelled calculi for lattice-based modal logics
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Labeled calculi and finite-valued logics
• Labelled sequent calculi for Lewis' non-normal propositional modal logics

zbMATH Keywords

non-distributive modal logiclabelled calculiproof calculirough formal contexts

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Cites Work

• Rough sets
• Title not available (Why is that?)
• Proof Analysis
• Proof analysis in modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Toward an epistemic-logical theory of categorization
• Algorithmic correspondence and canonicity for non-distributive logics
• Non-distributive logics: from semantics to meaning
• Categories: how I learned to stop worrying and love two sorts
• Title not available (Why is that?)
• Logics for rough concept analysis
• Rough concepts

Cited In (5)

• Labelled calculi for lattice-based modal logics
• Title not available (Why is that?)
• Toward a calculus of concepts
• Modal reduction principles: a parametric shift to graphs
• Non-distributive description logic

This page was built for publication: Labelled calculi for the logics of rough concepts

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