Our main goal is to extend the domain of a monotone measure to a class of intuitionistic fuzzy sets. The extension is made by using of the Choquet integral.
Let C be the propositional calculus given by a standard SBL-algebra; C is obtained from C by adding an involutive negation, with axioms and deduction rules as in [4]. Then C i...