This paper investigates the use of the logical structure in XML documents for the retrieval of XML multimedia objects. We study different logical levels and their combinations. Our investigation is carried on a purposebuilt test collection based on the INEX test collection. Our findings are the followings. First, all logical levels allow discriminating between elements contained in different do...

Logical relations are a central concept used to study various higher-order type theories and occur frequently in the proofs of a wide variety of meta-theorems. Besides extending the logical relation principle to more general languages, an important research question has been how to represent and thus verify logical relation arguments in logical frameworks. We formulate a theory of logical relat...

A fuzzy logical algebra has diverse applications in various domains such as engineering, economics, environment, medicine, and so on. However, the existing techniques do not apply to delta-algebra. Therefore, purpose of this paper was investigate new types cubic soft algebras study their applications, representation sets with δ-algebras, algebras, δ-subalgebra based on parameter λ (λ-CSδ-SA) (C...