Compensatory Logic Applied to Digital Image Processing

AGUSTINA BOUCHET; JUAN IGNACIO PASTORE; RAFAEL ESPIN; MARCEL BRUN; VIRGINIA BALLARIN

Ciudad Autónoma de Buenos Aires. Argentina

Congreso; ALIO INFORMS Joint International Meeting; 2010

Association of Latin-Iberoamerican Operational Research Societies and Institute for Operations Research and the Management Sciences

Compensatory Fuzzy Logic (CFL) is a multivalent logical model renouncing classical axioms to achieve a "sensitive system". This paper defines a CFL based on operations formed by new definition of conjunction and disjunction, different from those used in the literature. We show that these operators satisfy the axioms needed to form a new logic. Through the definitions of the quantifiers is proved that the valid formulas of propositional calculus of the CFL are exactly the Boolean Propositional Calculus