We give an overview of results, presented in the form of a poster at CSL03/KGC, about a general study of the notions of rule derivability and admissibility in Hilbert-style proof systems. The basis of our investigation consists in the concept of “abstract Hilbert system”, a framework for Hilbert-style proof systems in which it is abstracted from the syntax of formulas and the operational conten...

In this work we present a new approach to the study of the stability of admissible shock wave solutions for systems of conservation laws that change type. The systems we treat have quadratic ux functions. We employ the fundamental wave manifold W as a global framework to characterize shock waves that comply with the viscosity admissibility criterion. Points of W parametrize dynamical systems as...

unwillingness of the competent state to prosecute and investigate an international crime within the jurisdiction of the international criminal court is one of the aspects of admissibility of a case in the court. unwillingness is originally a subjective concept and is capable for a vast interpretation therefore may endanger the basic goal of complementarity principle i.e. respecting states sover...

We develop a quantum harmonic analysis framework for the affine group. This encapsulates several examples in literature such as localization operators, covariant integral quantizations, and quadratic time-frequency representations. In process, we notion of admissibility operators extend well known results to operator setting. A major theme paper is interaction between convolutions, Weyl quantiz...