In his correspondence with Grigory Mints, the famous logician Georg Kreisel noticed that many results of constructive mathematics seem easierto-prove than the corresponding classical (non-constructive) results – although he noted that these results are still far from being simple and the corresponding open problems are challenging. In this paper, we provide a possible explanation for this empir...

We apply Mints’ technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arithmetic with Transfinite Induction given by Arai.

We discuss the general scheme of building resolution calculi (also called the inverse method) originating from S. Maslov and G. Mints. A survey of resolution calculi for various nonclassical logic is presented, along with several common properties these calculi possess.

For hundreds of years, supplies of coins in Europe emerged, via a curious mechanism, from voluntary decisions of owners of old coins and bullion to exchange them at mints for new coins. Mints were sometimes private enterprises, licensed to produce on demand a list of coins whose design and neness was speciied by the sovereign. Citizens were free to take metal to the mint 1 to purchase newly min...

[1] We present a new approach to extracting spatially and temporally continuous ground deformation fields from interferometric synthetic aperture radar (InSAR) data. We focus on unwrapped interferograms from a single viewing geometry, estimating ground deformation along the line-of-sight. Our approach is based on a wavelet decomposition in space and a general parametrization in time. We refer t...

Aim: The goal of this study is the comparison mean reduction in serum bilirubin after intermittent and continuous phototherapy for neonatal jaundice treatment. Study Design: A randomized controlled study. Place Duration: In Pediatric department Mardan Medical Complex (MMC), one-year duration from July 2021 to June 2022. Methodology: Total 200 children were registered meeting exclusion inclusion...

the round city of ardeshir khwarah, with its concentric layout, can be considered as the first city which established by the founder of the sasanian dynasty as a symbol of the sasanian royal ideology. ardeshir khwarah plays a key role in establishment of sasanian sovereignty and urban planning. however, a little is known about the history of the city. it seems even stranger if we consider the r...

We establish syntactic cut-elimination for the one-variable fragment of the modal mu-calculus. Our method is based on a recent cut-elimination technique by Mints that makes use of Buchholz' Ω-rule.

the sasanian settlements located persian gulf shores proving the economic-political sovereignty of iran over the persian gulf through preislamic era denotes commercial relations between iran and other regions. the remains of sasanian sites and scattered ceramic sherds help us to apprehend the history of the socio-political organization of the persian gulf sphere and recognize the interactions b...

the demonstration of female figures on sasanian silver vessels was an interesting subject to sasanian silversmiths which caused much dispute among the scholars over whose character the female figure represents. are they representations of the goddess anahita or members of her cult? is there any connection between them and the cult of asiatic dionysus? the other question that arises is whether t...