Int-soft filters in lattice implication algebras

摘要

The notion of int-soft (implicative) filters in lattice implication algebras is introduced, and related properties are investigated. Characterizations of int-soft (implicative) filters are discussed. Conditions for an int-soft filter to be an int-soft implicative filter are provided. Extension property for int-soft implicative filters is established.