Logics from Galois connections

DOI10.1016/j.ijar.2008.06.003zbMath1184.68484MaRDI 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

zbMATH Keywords

rough sets; fuzzy sets; modal logic; knowledge representation; approximate reasoning

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T37: Reasoning under uncertainty in the context of artificial intelligence

06A15: Galois correspondences, closure operators (in relation to ordered sets)

Related Items

FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES, A Review on Rough Sets and Possible World Semantics for Modal Logics, Generating Isotone Galois Connections on an Unstructured Codomain, THE PROPERTIES OF ROUGH APPROXIMATIONS, VARIOUS FRAMES AND CONNECTIONS, MODAL, NECESSITY, SUFFICIENCY AND CO-SUFFICIENCY OPERATORS, 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, 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, Intuitionistic propositional logic with Galois negations, Hilbert algebras with Hilbert-Galois connections

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.