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

MaRDI QIDQ3429641zbMATH OpenFDO

Authors Jouni Järvinen, Michiro Kondo, Jari Kortelainen

Publication date 2 April 2007

zbMATH Keywords

Boolean lattices with additional operatorsclosure operatorsfixed pointsGalois connectionslinguistic modifiersmodal operators in temporal logicrough set approximation operators

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Galois correspondences, closure operators (in relation to ordered sets) (06A15) 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)

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

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)