Zobrazeno 1 - 10
of 491
pro vyhledávání: '"Tanaka,Yoshihito"'
Autor:
Tanaka, Yoshihito
Publikováno v:
Mathematical Logic Quarterly, 68-2, 2022, 189-201
In this paper, we give an extension of the J\'{o}nsson-Tarski representation theorem for both normal and non-normal modal algebras so that it preserves countably many infinitary meets and joins. To extend the J\'{o}nsson-Tarski representation to non-
Externí odkaz:
http://arxiv.org/abs/2103.16857
Autor:
Verna, Adriano, Stefani, Giovanni, Offi, Francesco, Gejo, Tatsuo, Tanaka, Yoshihito, Tanaka, Kenta, Nishie, Tatsuru, Nagaya, Kiyonobu, Niozu, Akinobu, Yamamura, Ryosuke, Suenaga, Taiga, Takahashi, Osamu, Fujise, Hikaru, Togashi, Tadashi, Yabashi, Makina, Oura, Masaki
Publikováno v:
New Journal of Physics vol. 22, 123029 (2020)
An experimental and computational investigation of the space-charge effects occurring in ultrafast photoelectron spectroscopy from the gas phase is presented. The target sample CF$_3$I is excited by ultrashort (100 fs) far-ultraviolet radiation pulse
Externí odkaz:
http://arxiv.org/abs/2006.15674
Autor:
Sasaki, Katsumi, Tanaka, Yoshihito
In this paper, we discuss a proof system $\mathsf{NGL}$ for the logic $\mathbf{GL}$ of provability, which is equipped with an $\omega$-rule. We show the three classes of transitive Kripke frames, the class which strongly validates the $\omega$-rule,
Externí odkaz:
http://arxiv.org/abs/2002.04782
Autor:
Pincelli, Tommaso, Cucini, Riccardo, Verna, Adriano, Borgatti, Francesco, Oura, Masaki, Tamasaku, Kenji, Lee, Tien-lin, Schlueter, Christoph, Günther, Stefan, Back, Christian Horst, Dell'Angela, Martina, Ciprian, Roberta, Orgiani, Pasquale, Petrov, Aleksandr, Sirotti, Fausto, Dediu, Valentin, Bergenti, Ilaria, Graziosi, Patrizio, Granozio, Fabio Miletto, Tanaka, Yoshihito, Taguchi, Munetaka, Daimon, Hiroshi, Fujii, Jun, Rossi, Giorgio, Panaccione, Giancarlo
Publikováno v:
Phys. Rev. B 100, 045118 (2019)
We combine time resolved pump-probe Magneto-Optical Kerr Effect and Photoelectron Spectroscopy experiments supported by theoretical analysis to determine the relaxation dynamics of delocalized electrons in half-metallic ferromagnetic manganite $La_{1
Externí odkaz:
http://arxiv.org/abs/1906.00257
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yamamoto, Kohei, Kubota, Yuya, Suzuki, Motohiro, Hirata, Yasuyuki, Takubo, Kou, Uemura, Yohei, Fukaya, Ryo, Tanaka, Kenta, Nishimura, Wataru, Ohkochi, Takuo, Katayama, Tetsuo, Togashi, Tadashi, Tamasaku, Kenji, Yabashi, Makina, Tanaka, Yoshihito, Seki, Takeshi, Takanashi, Koki, Wadati, Hiroki
Publikováno v:
New J. Phys. 21 123010 (2019)
We demonstrate ultrafast magnetization dynamics in a 5d transition metal using circularly-polarized x-ray free electron laser in the hard x-ray region. A decay time of light-induced demagnetization of L1${}_0$-FePt was determined to be $\tau_\textrm{
Externí odkaz:
http://arxiv.org/abs/1810.02551
Autor:
Tanaka, Yoshihito
In this paper, we give a duality theorem between the category of $\kappa$-additive complete atomic modal algebras and the category of $\kappa$-downward directed multi-relational Kripke frames, for any cardinal number $\kappa$. Multi-relational Kripke
Externí odkaz:
http://arxiv.org/abs/1804.10873
Autor:
Tanaka, Yoshihito
In this paper, we introduce a proof system $\mathsf{NQGL}$ for a Kripke complete predicate extension of the logic $\mathbf{GL}$, that is, the logic of provability, which is defned by $\mathbf{K}$ and the L\"{o}b formula $\Box(\Box p\supset p)\supset\
Externí odkaz:
http://arxiv.org/abs/1802.10261
Publikováno v:
Journal of Symbolic Logic, 84 (2019), pp.533-588
Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, s
Externí odkaz:
http://arxiv.org/abs/1708.03403
Autor:
Sasaki, Katsumi, Tanaka, Yoshihito
Publikováno v:
Studia Logica; Oct2024, Vol. 112 Issue 5, p1163-1180, 18p
