Algebraic structures in the vicinity of pre-rough algebra and their logics

DOI10.1016/J.INS.2014.06.004zbMath1355.06009OpenAlexW2050672964MaRDI QIDQ507761

Jayanta Sen, Mihir Kumar Chakraborty, Anirban Saha

Publication date: 7 February 2017

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2014.06.004

zbMATH Keywords

Hilbert systemsequent calculusalgebraic logicrough setpre-rough algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Algebraic aspects of posets (06A11)

Related Items (18)

Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ Sequent calculi for semi-De Morgan and De Morgan algebras ⋮ Some implicative topological quasi-Boolean algebras and rough set models ⋮ On PBZ*-lattices ⋮ 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 ⋮ Rough concepts ⋮ Sequent Calculi for Varieties of Topological Quasi-Boolean Algebras ⋮ Decidability in Pre-rough Algebras: Extended Abstract ⋮ Quasi-Boolean based models in rough set theory: a case of covering ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory ⋮ Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability ⋮ Modal reduction principles: a parametric shift to graphs ⋮ Some algebras and logics from quasiorder-generated covering-based approximation spaces ⋮ Decidability of topological quasi-Boolean algebras ⋮ Modality-free pre-rough logic ⋮ Proper multi-type display calculi for rough algebras

Uses Software

• Prover9

Cites Work

• Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
• Rough implication operator based on strong topological rough algebras
• An algebraic approach to non-classical logics
• Rough sets
• An abstract algebraic logic approach to tetravalent modal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic structures in the vicinity of pre-rough algebra and their logics