This paper is concerned with the logical structure of arithmetical the ories We survey results concerning logics and admissible rules of con structive arithmetical theories We prove a new theorem the admissible propositional rules of Heyting Arithmetic are the same as the admissible propositional rules of Intuitionistic Propositional Logic We provide some further insights concerning predicate l...

In this paper we consider the following separate but related questions: “How do we construct an effective admissible domain representation of a space X from a pseudobasis on X?”, and “How do we construct an effective admissible domain representation of the inductive limit of a directed system (Xi)i∈I of topological spaces, given effective admissible domain representations of the individual spac...

In fractal image compression a contractive affine mapping whose fixed point is an approximation to the original image has to be determined. Usually, this mapping is found in a heuristic way. In this paper, we discuss rate-distortion based fractal image coding where the code corresponding to the mapping is optimal in the sense that it guarantees the lowest collage error (distortion between the o...

The aggregation of generic items into coalitions leads to the creation of sets of homogenous entities. In this paper we accomplish this for an input set of arguments, and the result is a partition according to distinct lines of thought, i.e., groups of “coherent” ideas. We extend Dung’s Argumentation Framework (AF) in order to deal with coalitions of arguments. The initial set of arguments is p...

This paper presents a methodology for identifying groups of products that exhibit similar patterns in demand and responsiveness to changes in price using store-level sales data. We use the concept of economic separability as an identification condition for different product groups, and build a weakly separable model of aggregate demand. A common issue with separable demand models is that the pa...

We consider the problem of estimating the scale parameter &beta of a rescaled F-distribution when &beta has a lower bounded constraint of the form &beta&gea, under the entropy loss function. An admissible minimax estimator of the scale parameter &beta, which is the pointwise limit of a sequence of Bayes estimators, is given. Also in the class of truncated linear estimators, the admissible estim...

let  $varpi$ be a representation of the homogeneous space $g/h$, where $g$ be a locally compact group and  $h$ be a compact subgroup of $g$. for  an admissible wavelet $zeta$ for $varpi$  and $psi in l^p(g/h), 1leq p

Sound transmission between rooms is often encountered for the acoustic design and noise control engineers. A clear understanding on the acoustical behavior of rectangular cavities connected by flexible panel structure can be of the fundamental significance. In this paper, sound transmission between rooms through the flexible partition with its edges elastically restrained is investigated. Both ...