Algebraic models of deviant modal operators based on De Morgan and Kleene lattices

DOI10.1016/j.ins.2011.05.008zbMath1242.03088OpenAlexW2094451838MaRDI QIDQ433065

Gianpiero Cattaneo, Davide Ciucci, Dubois, Didier

Publication date: 13 July 2012

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10281/23656

zbMATH Keywords

algebraic semantic of modal logicBrouwer-Zadeh latticesfuzzy sets and orthopairs modelsHeyting-Wajsberg algebrasKleene lattices

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items

Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, Dialectical Rough Sets, Parthood and Figures of Opposition-I, Covering-based rough sets and modal logics. I., Unnamed Item, On PBZ*-lattices, Algebraic structures in the vicinity of pre-rough algebra and their logics. II, An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra, Tense operators in fuzzy logic, Quasi-Boolean based models in rough set theory: a case of covering, Dynamic order algebras as an axiomatization of modal and tense logics, Discrete duality for 3-valued Łukasiewicz–Moisil algebras, Borderline vs. unknown: comparing three-valued representations of imperfect information, Algebraic structures related to nilpotent minimum algebras and rough sets1, How to produce S-tense operators on lattice effect algebras, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, Algebraic Methods for Granular Rough Sets, Algebraic Methods for Orthopairs and Induced Rough Approximation Spaces, Basic quasi-Boolean expansions of relevance logics, A unified approach to four important classes of unary operators, Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\), Algebraic structures in the vicinity of pre-rough algebra and their logics, On the union and intersection operations of rough sets based on various approximation spaces, Three-way decision making approach to conflict analysis and resolution using probabilistic rough set over two universes, On a strong negation-based representation of modalities, A Survey on the Algebras of the So–Called Intuitionistic Fuzzy Sets (IFS), Submeasures on nuanced MV-algebras.

Cites Work

• Generalized rough sets (preclusivity fuzzy-intuitionistic (BZ) lattices)
• Brouwer-Zadeh (fuzzy-intuitionistic) posets for unsharp quantum mechanics
• Rudiments of rough sets
• Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS)
• Non-usual orthocomplementations on partially ordered sets and fuzziness
• Material implications in orthomodular (and Boolean) lattices
• A certain conception of the calculus of rough sets
• An algebraic approach to non-classical logics
• Rough sets in knowledge discovery 1. Methodology and applications
• Metamathematics of fuzzy logic
• Fuzzy intuitionistic quantum logics
• Fuzzy quantum logic. II: The logics of unsharp quantum mechanics
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On very true
• A unified framework for the algebra of unsharp quantum mechanics
• Mathematical modal logic: A view of its evolution
• Brouwer-Zadeh posets and three-valued Łukasiewicz posets
• BZMV\(^{\text{dM}}\) algebras and Stonian MV-algebras (applications to fuzzy sets and rough approximations)
• Residuated fuzzy logics with an involutive negation
• Kripke semantics for knowledge representation logics
• The algebra of topology
• On closed elements in closure algebras
• The Basic Concepts of Algebraic Logic
• Algebraic Analysis of Many Valued Logics
• Lattices with Interior and Closure Operators and Abstract Approximation Spaces
• Rough sets
• Injective de Morgan and Kleene Algebras
• Stone algebras, conditional events, and three valued logic
• Conditional objects as nonmonotonic consequence relationships
• On Ignorance and Contradiction Considered as Truth-Values
• Sur les algèbres de Lukasiewicz injectives
• Boolean elements in Lukasiewicz algebras, I
• Boolean elements in Lukasiewicz algebras, II
• Some Methodological Remarks About Categorical Equivalences in the Abstract Approach to Roughness – Part I
• Beiträge zum Metaaussagenkalkül I
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Some theorems about the sentential calculi of Lewis and Heyting
• Incomplete information: rough set analysis
• 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
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item