Modal-like operators in Boolean lattices, Galois connections and fixed points
zbMATH Open1117.03069MaRDI QIDQ3429641FDOQ3429641
Authors: Jouni Järvinen, Michiro Kondo, Jari Kortelainen
Publication date: 2 April 2007
Recommendations
Galois connectionsfixed pointsclosure operatorslinguistic modifiersrough set approximation operatorsBoolean lattices with additional operatorsmodal operators in temporal logic
Galois correspondences, closure operators (in relation to ordered sets) (06A15) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Cited In (16)
- Topological structures in rough set theory: a survey
- A unifying study between modal-like operators, topologies and fuzzy sets
- Modal operators for meet-complemented lattices
- A method of representing rough sets system determined by quasi orders
- Logics from Galois connections
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
- Graded modal operators and fixed points
- Soft rough approximation operators on a complete atomic Boolean lattice
- Title not available (Why is that?)
- New approach in defining rough approximations
- Relational Methods in Computer Science
- Modes of adjointness
- Approximation of sets based on partial covering
- A Boolean action of \(C(M, U(1))\) without a spatial model and a re-examination of the Cameron-Martin theorem
- On rough approximations via ideal
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
This page was built for publication: Modal-like operators in Boolean lattices, Galois connections and fixed points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3429641)