Labelled calculi for the logics of rough concepts

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

Krishna Manoorkar, Giuseppe Greco, Andrea de Domenico, Alessandra Palmigiano, Unnamed Author, 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)

Related Items (1)

Labelled calculi for lattice-based modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof analysis in modal logic
• Algorithmic correspondence and canonicity for non-distributive logics
• Logics for rough concept analysis
• Categories: How I Learned to Stop Worrying and Love Two Sorts
• Proof Analysis
• Rough sets
• Non-distributive logics: from semantics to meaning
• Rough concepts

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