# Closure structures parameterized by systems of isotone Galois connections

@article{Vychodil2017ClosureSP, title={Closure structures parameterized by systems of isotone Galois connections}, author={V. Vychodil}, journal={ArXiv}, year={2017}, volume={abs/1701.02445} }

Abstract We study properties of classes of closure operators and closure systems parameterized by systems of isotone Galois connections. The parameterizations express stronger requirements on idempotency and monotony conditions of closure operators. The present approach extends previous approaches to fuzzy closure operators which appeared in analysis of object-attribute data with graded attributes and reasoning with if-then rules in graded setting and is also related to analogous results… Expand

#### 4 Citations

Parameterized simplification logic I: reasoning with implications and classes of closure operators

- Computer Science
- Int. J. Gen. Syst.
- 2020

Relational Galois connections between transitive digraphs: Characterization and construction

- Computer Science
- Inf. Sci.
- 2020

Towards Simplification Logic for Graded Attribute Implications with General Semantics

- Computer Science
- CLA
- 2018

A fast attribute reduction method for large formal decision contexts

- Computer Science
- Int. J. Approx. Reason.
- 2019

#### References

SHOWING 1-10 OF 71 REFERENCES

Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections

- Mathematics, Computer Science
- IEEE Transactions on Fuzzy Systems
- 2016

On implicative closure operators in approximate reasoning

- Computer Science, Mathematics
- EUSFLAT-ESTYLF Joint Conf.
- 1999

Graded Consequence Relations and Fuzzy Closure Operators

- Mathematics, Computer Science
- J. Appl. Non Class. Logics
- 1996

Universal Algebra for Computer Scientists

- Mathematics, Computer Science
- EATCS Monographs on Theoretical Computer Science
- 1992

First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties

- Mathematics, Computer Science
- Ann. Pure Appl. Log.
- 2009