Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
In this paper, we proposed a new edge-directed image interpolation algorithm which can preserve the edge features and natural appearance of images efficiently. In the proposed sche...
Xinfeng Zhang, Siwei Ma, Yongbing Zhang, Li Zhang,...
We present a novel directionally adaptive image interpolation based on a multiple-direction wavelet transform, called directionlets. The algorithm uses directionlets to efficient...
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...