Rough implication operator based on strong topological rough algebras
From MaRDI portal
Publication:991905
DOI10.1016/j.ins.2010.05.017zbMath1202.03070MaRDI 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 Łuk; rough implication; rough logic system RSL; strong topological rough algebra; topological De Morgan algebra
03B52: Fuzzy logic; logic of vagueness
03G25: Other algebras related to logic
03B50: Many-valued logic
Related Items
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 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, Systemic approach to fuzzy logic formalization for approximate reasoning, Topological characterizations of covering for special covering-based upper approximation operators, On the topological properties of generalized rough sets, Algebraic structures in the vicinity of pre-rough algebra and their logics. II, Axiomatization of covering-based approximation operators generated by general or irreducible coverings, Characterizations of coverings for upper approximation operators being closure operators, A general frame for intuitionistic fuzzy rough sets, On the rough consistency measures of logic theories and approximate reasoning in rough logic, An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra, A kind of new rough set: Rough soft sets and rough soft rings
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