Rough implication operator based on strong topological rough algebras
From MaRDI portal
Publication:991905
DOI10.1016/j.ins.2010.05.017zbMath1202.03070OpenAlexW2006468521MaRDI QIDQ991905
Hong Yu, Xiao Hong Zhang, Y. Y. Yao
Publication date: 8 September 2010
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2010.05.017
Łukasiewicz logic system Łukrough implicationrough logic system RSLstrong topological rough algebratopological De Morgan algebra
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50)
Related Items
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, On the topological properties of generalized rough sets, Systemic approach to fuzzy logic formalization for approximate reasoning, The \(\vartheta \)-lower and \(T\)-upper fuzzy rough approximation operators on a semigroup, A class of rough multiple objective programming and its application to solid transportation problem, A kind of new rough set: Rough soft sets and rough soft rings, Axiomatization of covering-based approximation operators generated by general or irreducible coverings, A novel method for attribute reduction of covering decision systems, 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, Characterizations of coverings for upper approximation operators being closure operators, A general frame for intuitionistic fuzzy rough sets, Topological characterizations of covering for special covering-based upper approximation operators, On the rough consistency measures of logic theories and approximate reasoning in rough logic
Uses Software
Cites Work
- Triangle algebras: A formal logic approach to interval-valued residuated lattices
- Rudiments of rough sets
- Rough sets and Boolean reasoning
- A fuzzy logic system based on Schweizer-Sklar t-norm
- The pseudo-linear semantics of interval-valued fuzzy logics
- Topological soft algebra and its application
- A certain conception of the calculus of rough sets
- Constructive and algebraic methods of the theory of rough sets
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A logic for rough sets
- Reduction and axiomization of covering generalized rough sets.
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Two views of the theory of rough sets in finite universes
- Rough operations on Boolean algebras
- ROUGH FUZZY SETS AND FUZZY ROUGH SETS*
- Propositional Logics from Rough Set Theory
- Transactions on Rough Sets II
- Undecidability of Some Topological Theories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item