Zobrazeno 1 - 10
of 811
pro vyhledávání: '"Inoue Takao"'
Autor:
Inoué, Takao, Miwa, Tadayoshi
On March 8, 1995, was found the following nontrivial single axiom-schema characteristic of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$ (refer to Takao Inou\'{e}, A single axiom-schema of March 8th, Bulletin of the Section of Logic (L\'
Externí odkaz:
http://arxiv.org/abs/2402.07030
Autor:
Inoué, Takao
In 1986, Flagg and Friedman \cite{ff} gave an elegant alternative proof of the faithfulness of G\"{o}del (or Rasiowa-Sikorski) translation $(\cdot)^\Box$ of Heyting arithmetic $\bf HA$ to Shapiro's epistemic arithmetic $\bf EA$. In \S 2, we shall pro
Externí odkaz:
http://arxiv.org/abs/2307.02688
Autor:
Inoué, Takao
In this short essay, I shall try to find a way to humanize mathematics. I shall give some mathematical remarks concerning that. I shall give some brief comments to my past works from the point of view of this paper.
Comment: 5 pages
Comment: 5 pages
Externí odkaz:
http://arxiv.org/abs/2302.02449
A Hilbert-type axiomatic rejection $\mathbf{HAR}$ for the propositional fragment $\mathbf{L_1}$ of Le\'{s}niewski's ontology is proposed. Also a Gentzen-type axiomatic rejection $\mathbf{GAR}$ of $\mathbf{L_1}$ is proposed. Models for $\mathbf{L_1}$
Externí odkaz:
http://arxiv.org/abs/2108.06604
Autor:
Inoué, Takao
We discuss about how to make a new logic with considering a slogan: \it take the inversion of what you know. \rm Suppose that we have a Gentzen-style logical system $S$. The operation to make a new logic from $S$ is the following: \it for all the axi
Externí odkaz:
http://arxiv.org/abs/2108.05934
Autor:
Hagiyama, Man, Yoneshige, Azusa, Wada, Akihiro, Kimura, Ryuichiro, Ito, Shinji, Inoue, Takao, Takeuchi, Fuka, Ito, Akihiko
Publikováno v:
In Journal of Controlled Release July 2024 371:603-618
Autor:
Shimada, Takeshi, Morimoto, Takafumi, Nagayama, Hirofumi, Nakamura, Naoko, Aisu, Kaori, Kito, Aki, Kojima, Ryo, Yamanushi, Ayumi, Kawano, Kojiro, Hikita, Noriaki, Yotsumoto, Kayano, Ebisu, Tomoe, Kawamura, Masashi, Inoue, Takao, Orui, Junya, Asakura, Tatsumi, Akazawa, Masafumi, Kobayashi, Masayoshi
Publikováno v:
In Schizophrenia Research July 2024 269:18-27
Autor:
Hirayama, Yuya, Kida, Hiroyuki, Inoue, Takao, Sugimoto, Kazutaka, Oka, Fumiaki, Shirao, Satoshi, Imoto, Hirochika, Nomura, Sadahiro, Suzuki, Michiyasu
Publikováno v:
In IBRO Neuroscience Reports June 2024 16:609-621
Autor:
Yokoo, Hidetomo, Tsuji, Genichiro, Inoue, Takao, Naito, Mikihiko, Demizu, Yosuke, Ohoka, Nobumichi
Publikováno v:
In Bioorganic Chemistry April 2024 145
Autor:
Inoué, Takao
In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system $\bf SN$ of constructive arithmetic with strong negation without complete induc
Externí odkaz:
http://arxiv.org/abs/2010.07368