نتایج جستجو برای: sasanian mints
تعداد نتایج: 473 فیلتر نتایج به سال:
Priscianus of Lydia’s Solutionum ad Chosroem is a series of answers to questions asked at a philosophical debate held at the Sasanian court c. 530 CE. Priscianus of Lydia was one of seven non-Christian philosophers from the Byzantine Empire who journeyed to the Sasanian Empire to take part in the debate. Long overlooked in the history of philosophy, Priscianus of Lydia’s text represents a branc...
We present the preliminary results of our recent find, a circular pond, and its surrounding structures, built in stone masonry Sasanian tradition Dehbarm village, west Firuzabad Plain (Fars, Iran). elaborate on this site suggest it belongs to Early Ardashir-Xurra (Ardaš?r-Xwarrah), first capital complex urban plan plain. Based comparable finds, we interpret as garden settlement, so-called parad...
Skolem’s contributions to mathematical logic are fundamental and far-reaching. A good survey by Hao Wang (1970) is presented in Fenstad’s collection of Skolem’s works (1970). Even Skolemization, i.e. the replacement of quantifiers by new constant and function symbols, is too extensive for one talk. Cf. my survey (Mints 1990) of proof-theoretic aspects and more recent work (Shankar 1992) concern...
Contact stomatitis associated with consumption of cinnamon flavoring agents is a relatively uncommon disorder. Of relevance, both clinical features and the histopathologic findings of this condition are nonspecific, and, more importantly, may resemble some other inflammatory oral mucosa disorders, eventually making diagnosis difficult. Usually a patient exhibits a combination of white and eryth...
S. Guénon,1 M. Grünzweig,1 B. Gross,1 J. Yuan,2 Z. G. Jiang,3 Y. Y. Zhong,3 M. Y. Li,3 A. Iishi,2 P. H. Wu,3 T. Hatano,2 R. G. Mints,4 E. Goldobin,1 D. Koelle,1 H. B. Wang,2,* and R. Kleiner1,† 1Physikalisches Institut, Experimentalphysik II and Center for Collective Quantum Phenomena, Universität Tübingen, Auf der Morgenstelle 14, D-72076 Tübingen, Germany 2National Institute for Materials Sci...
We give a new proof of a theorem of Mints that the positive fragment of minimal predicate logic is decidable. The idea of the proof is to replace the eigenvariable condition of sequent calculus by an appropriate scoping mechanism. The algorithm given by this proof seems to be more practical than that given by the original proof. A naive implementation is given at the end of the paper. Another c...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید