Rough implication operator based on strong topological rough algebras

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

zbMATH Keywords

Łukasiewicz logic system Łuk; rough implication; rough logic system RSL; strong topological rough algebra; topological De Morgan algebra

Mathematics Subject Classification ID

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

• daTac

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