Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Kogure, Haruka"'
Autor:
Kogure, Haruka, Kurahashi, Taishi
We study the existence of a $\Theta$ sentence which is simultaneously $\Gamma$-conservative over consistent RE extensions $T$ and $U$ of Peano Arithmetic for various reasonable pairs $(\Gamma, \Theta)$. As a result of this study, we prove the existen
Externí odkaz:
http://arxiv.org/abs/2412.08208
Autor:
Kogure, Haruka
We investigate the arithmetical completeness theorems of some extensions of Fitting, Marek, and Truszczy\'{n}ski's pure logic of necessitation $\mathbf{N}$. For $m,n \in \omega$, let $\mathbf{N}^+ \mathbf{A}_{m,n}$, which was introduced by Kurahashi
Externí odkaz:
http://arxiv.org/abs/2409.00938
Autor:
Kogure, Haruka, Kurahashi, Taishi
We study interpolation properties for Shavrukov's bimodal logic $\mathbf{GR}$ of usual and Rosser provability predicates. For this purpose, we introduce a new sublogic $\mathbf{GR}^\circ$ of $\mathbf{GR}$ and its relational semantics. Based on our ne
Externí odkaz:
http://arxiv.org/abs/2311.10583
Autor:
Kogure, Haruka, Kurahashi, Taishi
For a class $\Gamma$ of formulas, $\Gamma$ local reflection principle $\mathrm{Rfn}_{\Gamma}(T)$ for a theory $T$ of arithmetic is a schema formalizing the $\Gamma$-soundness of $T$. Beklemishev proved that for every $\Gamma \in \{\Sigma_n, \Pi_{n+1}
Externí odkaz:
http://arxiv.org/abs/2306.07243
Autor:
Kogure, Haruka, Kurahashi, Taishi
We investigate modal logical aspects of provability predicates $\mathrm{Pr}_T(x)$ satisfying the following condition: $\mathbf{M}$: If $T \vdash \varphi \to \psi$, then $T \vdash \mathrm{Pr}_T(\ulcorner \varphi \urcorner) \to \mathrm{Pr}_T(\ulcorner
Externí odkaz:
http://arxiv.org/abs/2208.03555
Autor:
Kogure, Haruka, Kurahashi, Taishi
Publikováno v:
In Annals of Pure and Applied Logic July 2023 174(7)
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:
Kogure, Haruka
The aim of this thesis was to examine traditional Japanese lamps and the origami technique. Also, to learn about modern trends in forms of illumination and compare their design among Japan and other countries. From the gathered knowledge a new illumi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2186::4c0ec5d56e3f99ec216aac74ede61851
http://www.nusl.cz/ntk/nusl-523288
http://www.nusl.cz/ntk/nusl-523288
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.