Labelled calculi for the logics of rough concepts

DOI10.1007/978-3-031-26689-8_13MaRDI QIDQ6132579zbMATH OpenFDO

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)

Full work available at URL https://doi.org/10.1007/978-3-031-26689-8_13

zbMATH Keywords

non-distributive modal logiclabelled calculiproof calculirough formal contexts

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 754439 (Why is no real title available?)
• scientific article; zbMATH DE number 927104 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• Algorithmic correspondence and canonicity for non-distributive logics
• Categories: how I learned to stop worrying and love two sorts
• Logics for rough concept analysis
• Non-distributive logics: from semantics to meaning
• Proof Analysis
• Proof analysis in modal logic
• Rough concepts
• Rough sets
• Toward an epistemic-logical theory of categorization

Cited in

(8)

• Labelled calculi for lattice-based modal logics
• scientific article; zbMATH DE number 4210113 (Why is no real title available?)
• Toward a calculus of concepts
• Monotone modal logic beyond distributivity
• Modal reduction principles: a parametric shift to graphs
• Non-distributive description logic
• Fuzzy lattice-based description logic
• Query answering in lattice-based 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)