Zobrazeno 1 - 10 of 18 pro vyhledávání: '"Ryo Kashima"'
2
The influence of coating solution and calcination condition on the durability of Ir1-xSnxO2/Ti anodes for oxygen evolution
Autor: Shinnosuke Fukuyama, Koji Hashimoto, Zenta Kato, Koichi Izumiya, Kumagai Naokazu, Kohei Tatsumi, Ryo Kashima
Publikováno v: Applied Surface Science. 388:640-644
For oxygen formation without forming chlorine in seawater electrolysis for hydrogen production we have been using the anode consisting of three layers of MnO2-type multiple oxide catalyst, intermediate layer and titanium substrate. The intermediate l
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8399f2c8cbdf0d36cfc14741a743d42c
https://doi.org/10.1016/j.apsusc.2016.03.071
Zobrazit plný text záznamu
3
Reduction Rules for Intuitionistic $${{\lambda}{\rho}}$$ λ ρ -calculus
Autor: Ken-etsu Fujita, Yuichi Komori, Naosuke Matsuda, Ryo Kashima
Publikováno v: Studia Logica. 103:1225-1244
The third author gave a natural deduction style proof system called the $${{\lambda}{\rho}}$$??-calculus for implicational fragment of classical logic in (Komori, Tsukuba J Math 37:307---320, 2013). In (Matsuda, Intuitionistic fragment of the $${{\la
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::62c6072177f219bd64988f1aee4f2354
https://doi.org/10.1007/s11225-015-9616-1
Zobrazit plný text záznamu
4
On Second Order Propositional Intuitionistic Logics
Autor: Ryo Kashima
Publikováno v: Philosophical Logic: Current Trends in Asia ISBN: 9789811063541
We give an alternative proof of (a slightly strong form of) the completeness of two second order propositional intuitionistic logics with respect to Kripke models. One is the logic having the full comprehension axiom, and the other has the constant d
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5dc721845de579fc86518c64c465341d
https://doi.org/10.1007/978-981-10-6355-8_9
Zobrazit plný text záznamu
6
General models and completeness of first-order modal mu-calculus
Autor: Ryo Kashima, Keishi Okamoto
Publikováno v: Journal of Logic and Computation. 18(No. 4):497-507
There is no recursive axiomatization of first-order modal μ-calculus that is complete with respect to usual Kripke models. Then we introduce ‘general’ models, and we prove that the natural axiom system of first-order modal μ-calculus is complet
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4855ac4e617298b1518c3aff446a954c
http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100575808
Zobrazit plný text záznamu
8
Kripke Completeness of First-Order Constructive Logics with Strong Negation
Autor: Ryo Kashima, Ichiro Hasuo
Publikováno v: Logic Journal of IGPL. 11:615-646
This paper considers Kripke completeness of Nelson’s constructive predicate logic N3 and its several variants. N3 is an extension of intuitionistic predicate logic Int by an contructive negation operator ∼ called strong negation. The variants of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::073db3baa79cfc712ab5b9adab251f9a
https://doi.org/10.1093/jigpal/11.6.615
Zobrazit plný text záznamu
9
On semilattice relevant logics
Autor: Ryo Kashima
Publikováno v: MLQ. 49:401-414
The semilattice relevant logics ∪R, ∪T, ∪RW, and ∪TW (slightly different from the orthodox relevant logics R, T, RW, and TW) are defined by semilattice models in which conjunction and disjunction are interpreted in a natural way. For each of
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ce90c6316ff31dd34e5ab0a84d9a3cd1
https://doi.org/10.1002/malq.200310043
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

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