Vague ideals of implication groupoids
We introduce the concept of vague ideals in a distributive implication groupoid and investigate their properties. The vague ideals of a distributive implication groupoid are also characterized.
Very true operators on MTL-algebras
The main goal of this paper is to investigate very true MTL-algebras and prove the completeness of the very true MTL-logic. In this paper, the concept of very true operators on MTL-algebras is introduced and some related properties are investigated. Also, conditions for an MTL-algebra to be an MV-algebra and a Gödel algebra are given via this operator. Moreover, very true filters on very true MTL-algebras are studied. In particular, subdirectly irreducible very true MTL-algebras are characterized...