Zobrazeno 1 - 10 of 88 pro vyhledávání: '"Kashima, Ryo"'
1
Report
Cut-free sequent calculi for the provability logic D
Autor: Kashima, Ryo, Kurahashi, Taishi, Iwata, Sohei, Morioka, So
We say that a Kripke model is a GL-model if the accessibility relation $\prec$ is transitive and converse well-founded. We say that a Kripke model is a D-model if it is obtained by attaching infinitely many worlds $t_1, t_2, \ldots$, and $t_\omega$ t
Externí odkaz: http://arxiv.org/abs/2310.16369
Zobrazit plný text záznamu
2
Report
Semantical cut-elimination for the provability logic of true arithmetic
Autor: Kashima, Ryo, Kato, Yutaka
The quasi-normal modal logic GLS is a provability logic formalizing the arithmetical truth. Kushida (2020) gave a sequent calculus for GLS and proved the cut-elimination theorem. This paper introduces semantical characterizations of GLS and gives a s
Externí odkaz: http://arxiv.org/abs/2309.05948
Zobrazit plný text záznamu
3
Report
Resource Bounded Unprovability of Computational Lower Bounds
Autor: Okamoto, Tatsuaki, Kashima, Ryo
This paper introduces new notions of asymptotic proofs, PT(polynomial-time)-extensions, PTM(polynomial-time Turing machine)-omega-consistency, etc. on formal theories of arithmetic including PA (Peano Arithmetic). This paper shows that P not= NP (mor
Externí odkaz: http://arxiv.org/abs/cs/0503091
Zobrazit plný text záznamu
6
Akademický článek
Reduction Rules for Intuitionistic λρ-calculus
Autor: Fujita, Ken-Etsu, Kashima, Ryo, Komori, Yuichi, Matsuda, Naosuke
Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 2015 Dec 01. 103(6), 1225-1244.
Externí odkaz: http://www.jstor.org/stable/43651804
Zobrazit plný text záznamu
7
Akademický článek
On the completeness and the decidability of strictly monadic second‐order logic.
Autor: Takagi, Kento1 (AUTHOR) kento.takagi.aa@gmail.com, Kashima, Ryo1 (AUTHOR) kashima@is.titech.ac.jp
Publikováno v: Mathematical Logic Quarterly. Dec2020, Vol. 66 Issue 4, p438-447. 10p.
Zobrazit plný text záznamu
8
Akademický článek
Substructural Implicational Logics including the Relevant Logic E
Autor: Kashima, Ryo, Kamide, Norihiro
Publikováno v: Studia Logica: An International Journal for Symbolic Logic, 1999 Sep 01. 63(2), 181-212.
Externí odkaz: https://www.jstor.org/stable/20016083
Zobrazit plný text záznamu
10
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.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje