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

In this paper a modular, computationally efficient and numerically stable method is presented, which allows to obtain the dynamic model of a robot constituted by flexible links having varying cross-section and subjected to generic ending forces and torques and to the gravity actions. This method is based on the use of admissible deformation functions of wavelet type, obtained by using the Insta...

This paper concentrates on a new procedure which experimentally recognises gears and bearings faults of a typical gearbox system using a least square support vector machine (LSSVM). Two wavelet selection criteria Maximum Energy to Shannon Entropy ratio and Maximum Relative Wavelet Energy are used and compared to select an appropriate wavelet for feature extraction. The fault diagnosis method co...