Logics from Galois connections
From MaRDI portal
Publication:2379337
DOI10.1016/j.ijar.2008.06.003zbMath1184.68484OpenAlexW2088048727MaRDI QIDQ2379337
Jari Kortelainen, Jouni Järvinen, Michiro Kondo
Publication date: 19 March 2010
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2008.06.003
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (13)
Intuitionistic propositional logic with Galois negations ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ On the definition of suitable orderings to generate adjunctions over an unstructured codomain ⋮ Optimal triangular decompositions of matrices with entries from residuated lattices ⋮ Algebraic aspects of generalized approximation spaces ⋮ A Review on Rough Sets and Possible World Semantics for Modal Logics ⋮ Generating Isotone Galois Connections on an Unstructured Codomain ⋮ FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES ⋮ THE PROPERTIES OF ROUGH APPROXIMATIONS ⋮ VARIOUS FRAMES AND CONNECTIONS ⋮ MODAL, NECESSITY, SUFFICIENCY AND CO-SUFFICIENCY OPERATORS ⋮ Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. ⋮ Duality, conjugacy and adjointness of approximation operators in covering-based rough sets
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hedges: A study in meaning criteria and the logic of fuzzy concepts
- Representation of nondeterministic information
- A unifying study between modal-like operators, topologies and fuzzy sets
- DAL -- a logic for data analysis
- Rough logic
- Information systems theoretical foundations
- Modal logics for knowledge representation systems
- Metamathematics of fuzzy logic
- On relationship between modified sets, topological spaces and rough sets
- Display calculi for logics with relative accessibility relations
- Kripke semantics for knowledge representation logics
- On the structure of generalized rough sets
- L-fuzzy sets
- ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
- Propositional Logics from Rough Set Theory
- Lattice Theory for Rough Sets
- Rough sets
- Temporal algebra
- Reasoning About Space: The Modal Way
- Fuzzy sets
- Universal grammar
- Incomplete information: Structure, inference, complexity
- Applying modifiers to knowledge acquisition.
This page was built for publication: Logics from Galois connections
