We show that IPC , K4, GL, and S4, as well as all logics inheriting their admissible rules, have independent bases of admissible rules.

in this paper, a block-based method in wavelet domain for sar image coding is presented based on the ezbc algorithm. to better preserve edges and textural structure in sar images, instead of using traditional dyadic wavelet transform, a packet wavelet is employed. to improve the efficiency of the ezbc algorithm for sar image coding, a modified version of this algorithm, is proposed. this modifi...

this article presents an analytic approach to study admissibility conditions related to classical full wavelet systems over finite fields using tools from computational harmonic analysis and theoretical linear algebra. it is shown that for a large class of non-zero window signals (wavelets), the generated classical full wavelet systems constitute a frame whose canonical dual are classical full ...