Labelled calculi for the logics of rough concepts

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

Krishna Manoorkar, Giuseppe Greco, Andrea de Domenico, Alessandra Palmigiano, Author name not available (Why is that?), Ineke van der Berg

Publication date: 17 August 2023

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

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?)
• Title not available (Why is that?)
• 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)