Labelled calculi for the logics of rough concepts (Q6132579): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / cites work
 
Property / cites work: Rough concepts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3384065 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categories: How I Learned to Stop Worrying and Love Two Sorts / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithmic correspondence and canonicity for non-distributive logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-distributive logics: from semantics to meaning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530231 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4894942 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics for rough concept analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4697921 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4892373 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof analysis in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rough sets / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:14, 2 August 2024

scientific article; zbMATH DE number 7728696
Language Label Description Also known as
English
Labelled calculi for the logics of rough concepts
scientific article; zbMATH DE number 7728696

    Statements

    Labelled calculi for the logics of rough concepts (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    17 August 2023
    0 references
    rough formal contexts
    0 references
    non-distributive modal logic
    0 references
    labelled calculi
    0 references
    proof calculi
    0 references

    Identifiers