Ryo Kashima

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Cut-free sequent calculi for the provability logic D	2023-10-25	Paper
On the completeness and the decidability of strictly monadic second‐order logic Mathematical Logic Quarterly	2023-09-12	Paper
Semantical cut-elimination for the provability logic of true arithmetic	2023-09-11	Paper
Term-space semantics of typed lambda calculus Notre Dame Journal of Formal Logic	2021-09-07	Paper
Reduction rules for intuitionistic \(\lambda\rho\)-calculus Studia Logica	2015-12-07	Paper
An axiomatization of ECTL Journal Of Logic And Computation	2014-04-01	Paper
Completeness proof by semantic diagrams for transitive closure of accessibility relation	2012-08-05	Paper
General Models and Completeness of First-Order Modal -calculus Journal Of Logic And Computation	2008-08-15	Paper
Sequent Calculi for Some Strict Implication Logics Logic Journal of the IGPL	2008-05-05	Paper
Kripke Completeness of First-Order Constructive Logics with Strong Negation Logic Journal of the IGPL	2004-05-27	Paper
Sequent calculi for Visser's propositional logics Notre Dame Journal of Formal Logic	2003-10-13	Paper
On semilattice relevant logics MLQ	2003-07-31	Paper
scientific article; zbMATH DE number 1788925 (Why is no real title available?)	2002-08-26	Paper
Completeness of implicational relevant logics Logic Journal of the IGPL	2000-12-19	Paper
Substructural implicational logics including the relevant logic E Studia Logica	2000-09-05	Paper
scientific article; zbMATH DE number 1377699 (Why is no real title available?)	1999-12-14	Paper
scientific article; zbMATH DE number 1373384 (Why is no real title available?)	1999-12-02	Paper
On the Difficulty of Writing Out formal Proofs in Arithmetic Mathematical Logic Quarterly	1998-01-11	Paper
Contraction-elimination for implicational logics Annals of Pure and Applied Logic	1997-10-06	Paper
Cut‐Elimination Theorem for the Logic of Constant Domains Mathematical Logic Quarterly	1995-09-28	Paper
Cut-free sequent calculi for some tense logics Studia Logica	1994-03-22	Paper
scientific article; zbMATH DE number 149873 (Why is no real title available?)	1993-04-01	Paper

Research outcomes over time

This page was built for person: Ryo Kashima