In this shot note we consider globally admissible inference rules. A rule r is globally admissible in a logic L if r is admissible in all logics with the finite model property which extend L. Here we prove a reduction theorem: we show that, for any modal logic L extending K4, a rule r is globally admissible in L iff r is admissible in all tabular logics extending L. The similar result holds for...

in this paper, we give a necessary condition for function in l^2with its dual to generate a dual shearlet tight frame with respect to admissibility.

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...

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