Modal-like operators in Boolean lattices, Galois connections and fixed points

MaRDI QIDQ3429641zbMATHFDO

Authors Jouni Järvinen, Michiro Kondo, Jari Kortelainen

Publication date 2 April 2007

zbMATH Keywords

Galois connectionsfixed pointsclosure operatorslinguistic modifiersrough set approximation operatorsBoolean lattices with additional operatorsmodal operators in temporal logic

Mathematics Subject Classification ID

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)

Recommendations

• Modal operators for meet-complemented lattices
• Monotone modal operators on bounded integral residuated lattices.
• Quasi-modal lattices
• scientific article; zbMATH DE number 4006308
• Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

Cited in

(16)

• Graded modal operators and fixed points
• Approximation of sets based on partial covering
• scientific article; zbMATH DE number 4006308 (Why is no real title available?)
• Logics from Galois connections
• Topological structures in rough set theory: a survey
• New approach in defining rough approximations
• Relational Methods in Computer Science
• Classes of valuations closed under operations Galois-dual to Boolean sentence connectives
• Modal operators for meet-complemented lattices
• A Boolean action of \(C(M, U(1))\) without a spatial model and a re-examination of the Cameron-Martin theorem
• A unifying study between modal-like operators, topologies and fuzzy sets
• On rough approximations via ideal
• Modes of adjointness
• A method of representing rough sets system determined by quasi orders
• Lattices with Interior and Closure Operators and Abstract Approximation Spaces
• Soft rough approximation operators on a complete atomic Boolean lattice

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)