Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
From MaRDI portal
Publication:5164857
Recommendations
- Decidability in Pre-rough Algebras: Extended Abstract
- Algebraic structures in the vicinity of pre-rough algebra and their logics
- Algebraic structures in the vicinity of pre-rough algebra and their logics. II
- On the axioms of residuated structures: independence, dependencies and rough approximations
- Theory of residual lattices in rough set algebras
Cites work
- Algebraic structures in the vicinity of pre-rough algebra and their logics
- Algebraic structures in the vicinity of pre-rough algebra and their logics. II
- An algebraic approach to non-classical logics
- Bounded lattice expansions
- Categories of rough sets and textures
- Constructive and algebraic methods of the theory of rough sets
- Covering based rough set approximations
- Covering-based rough sets and modal logics. I.
- Covering-based rough sets and modal logics. II.
- Generalized rough sets based on relations
- scientific article; zbMATH DE number 994054 (Why is no real title available?)
- scientific article; zbMATH DE number 4046636 (Why is no real title available?)
- scientific article; zbMATH DE number 597724 (Why is no real title available?)
- scientific article; zbMATH DE number 597797 (Why is no real title available?)
- scientific article; zbMATH DE number 1136650 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 2208122 (Why is no real title available?)
- scientific article; zbMATH DE number 3045417 (Why is no real title available?)
- Interpolation and FEP for logics of residuated algebras
- Monads Can Be Rough
- On the algorithmic insolvability of the word problem in group theory
- Recursive unsolvability of a problem of Thue
- Relational interpretations of neighborhood operators and rough set approximation operators
- Residuated lattices. An algebraic glimpse at substructural logics
- Rough sets
- Some Decision Problems in the Theory of Syntactic Categories
- The decision problem for some classes of sentences without quantifiers
- The word and generator problems for lattices
- The word problem for \(Heyting^ *\) algebras
- The Word Problem for Abstract Algebras
- The word problem for free distributive lattices
- Undecidability of consequence relation in full non-associative Lambek calculus
Cited in
(8)- Residuated frames with applications to decidability
- Residuated Structures in Algebra and Logic
- Decidability in Pre-rough Algebras: Extended Abstract
- Relational semantics for normal topological quasi-Boolean logic
- Decidability of topological quasi-Boolean algebras
- Zdzisław Pawlak and our journey with rough sets
- On the finite model property of non-normal modal logics
- Kripke-completeness and sequent calculus for quasi-Boolean modal logic
This page was built for publication: Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5164857)
