Rough implication operator based on strong topological rough algebras

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

zbMATH Keywords

Łukasiewicz logic system Łukrough implicationrough logic system RSLstrong topological rough algebratopological De Morgan algebra

Mathematics Subject Classification ID

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

• 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