REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS

DOI10.1017/S1446788717000283MaRDI QIDQ4576930

Jouni Järvinen, Sándor Radeleczki

Publication date: 11 July 2018

Published in: Journal of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.09847

zbMATH Keywords

rough setKleene algebratolerance relationalgebraic latticepseudocomplemented latticeirredundant coveringregular double \(p\)-algebra

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Heyting algebras (lattice-theoretic aspects) (06D20) Representation theory of lattices (06B15) Pseudocomplemented lattices (06D15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items

Pseudo-Kleene algebras determined by rough sets ⋮ Defining rough sets using tolerances compatible with an equivalence ⋮ Algebraic Methods for Granular Rough Sets ⋮ Irredundant Coverings, Tolerances, and Related Algebras ⋮ Defining rough sets as core-support pairs of three-valued functions ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ The Structure of Multigranular Rough Sets ⋮ Rough \(L\)-fuzzy sets: their representation and related structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Representation of Nelson algebras by rough sets determined by quasiorders
• Rough sets determined by quasiorders
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The lattice structure of some Lukasiewicz algebras
• A logic for rough sets
• The structure of distributive double p-algebras. Regularity and congruences
• Rough sets determined by tolerances
• A regular variety of type \(<2,2,1,1,0,0>\)
• Tolerances Induced by Irredundant Coverings
• Lattice Theory for Rough Sets
• Pseudocomplemented Okham and Demorgan Algebras
• Rough sets
• Rough sets and three-valued structures
• Caracterisation des algèbres de Nelson par des egalités, I
• Lattices With Involution