Object-oriented database system supports the powerful concepts of data abstraction and complex data modeling while deductive database system has inferential and declarative query capabilities. Previous research has demonstrated the advantages and feasibilities of the confluence of the declarative logic-based paradigm and the object-oriented paradigm in the dual-paradigm system of deductive obje...

The aim of this paper is to introduce the notion of anti fuzzy (prime) deductive system in BL-algebra and to investigate their properties. It is shown that the set of all deductive systems (with the empty set) of a BL-algebra X is equipotent to a quotient of the set of all anti fuzzy deductive systems of X. The anti fuzzy prime deductive system theorem of BL-algebras is also proved. Anti Fuzzy ...