Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
DOI10.1016/J.INS.2011.05.008zbMATH Open1242.03088OpenAlexW2094451838MaRDI QIDQ433065FDOQ433065
Authors: G. Cattaneo, Davide Ciucci, Didier Dubois
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
Recommendations
- Algebras of modal operators and partial correctness
- scientific article; zbMATH DE number 5046779
- Modal pseudocomplemented De Morgan algebras
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Modal operators for meet-complemented lattices
- A Duality for Algebras of Lattice-Valued Modal Logic
- Modal operators on MV-algebras.
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
- Modal operators on commutative residuated lattices
- scientific article; zbMATH DE number 1850738
algebraic semantic of modal logicBrouwer-Zadeh latticesfuzzy sets and orthopairs modelsHeyting-Wajsberg algebrasKleene lattices
Theory of fuzzy sets, etc. (03E72) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)
Cites Work
- Rough sets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic Analysis of Many Valued Logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rudiments of rough sets
- An algebraic approach to non-classical logics
- On closed elements in closure algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Injective de Morgan and Kleene Algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some theorems about the sentential calculi of Lewis and Heyting
- Title not available (Why is that?)
- The algebra of topology
- Title not available (Why is that?)
- A certain conception of the calculus of rough sets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rough sets in knowledge discovery 1. Methodology and applications
- Title not available (Why is that?)
- Residuated fuzzy logics with an involutive negation
- Kripke semantics for knowledge representation logics
- On Ignorance and Contradiction Considered as Truth-Values
- Title not available (Why is that?)
- Quantum logic and nonclassical logics
- Title not available (Why is that?)
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS)
- On very true
- Title not available (Why is that?)
- Non-usual orthocomplementations on partially ordered sets and fuzziness
- Material implications in orthomodular (and Boolean) lattices
- Fuzzy intuitionistic quantum logics
- Fuzzy quantum logic. II: The logics of unsharp quantum mechanics
- 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)
- Title not available (Why is that?)
- The Basic Concepts of Algebraic Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stone algebras, conditional events, and three valued logic
- Conditional objects as nonmonotonic consequence relationships
- Title not available (Why is that?)
- Sur les algèbres de Lukasiewicz injectives
- Title not available (Why is that?)
- Boolean elements in Lukasiewicz algebras, I
- Boolean elements in Lukasiewicz algebras, II
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Incomplete information: rough set analysis
- Generalized rough sets (preclusivity fuzzy-intuitionistic (BZ) lattices)
- Brouwer-Zadeh (fuzzy-intuitionistic) posets for unsharp quantum mechanics
Cited In (28)
- Three-way decision making approach to conflict analysis and resolution using probabilistic rough set over two universes
- A study of rough inclusion on algebras with quasi-Boolean base
- Granularity and rational approximation: rethinking graded rough sets
- Algebraic methods for orthopairs and induced rough approximation spaces
- A Survey on the Algebras of the So–Called Intuitionistic Fuzzy Sets (IFS)
- Basic quasi-Boolean expansions of relevance logics
- De Morgan algebras with tense operators
- A unified approach to four important classes of unary operators
- An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra
- Submeasures on nuanced MV-algebras.
- Algebraic structures related to nilpotent minimum algebras and rough sets
- Quasi-Boolean based models in rough set theory: a case of covering
- Algebraic methods for granular rough sets
- Covering-based rough sets and modal logics. I.
- On a strong negation-based representation of modalities
- On PBZ*-lattices
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
- Borderline vs. unknown: comparing three-valued representations of imperfect information
- Algebraic structures in the vicinity of pre-rough algebra and their logics. II
- How to produce S-tense operators on lattice effect algebras
- Dialectical Rough Sets, Parthood and Figures of Opposition-I
- Tense operators in fuzzy logic
- 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
- Dynamic order algebras as an axiomatization of modal and tense logics
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- Discrete duality for 3-valued Łukasiewicz-Moisil algebras
This page was built for publication: Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q433065)